Editing Formal language (section)

== References ==
=== Citations ===
{{Reflist}}

=== Sources ===
; Works cited
{{refbegin}}
* {{cite book |last1=Hopcroft |first1=John E. |author1-link=John Hopcroft |last2=Ullman |first2=Jeffrey D. |author-link2=Jeffrey Ullman |title=[[Introduction to Automata Theory, Languages, and Computation]] |publisher=Addison-Wesley Publishing |location=Reading, Massachusetts |year=1979 |isbn=81-7808-347-7}}
{{refend}}

; General references
{{refbegin}}
* A. G. Hamilton, ''Logic for Mathematicians'', [[Cambridge University Press]], 1978, {{ISBN|0-521-21838-1}}.
* [[Seymour Ginsburg]], ''Algebraic and automata theoretic properties of formal languages'', North-Holland, 1975, {{ISBN|0-7204-2506-9}}.
* [[Michael A. Harrison]], ''Introduction to Formal Language Theory'', Addison-Wesley, 1978.
* {{cite book |last=Rautenberg |first=Wolfgang |author-link = Wolfgang Rautenberg |doi = 10.1007/978-1-4419-1221-3 |title = A Concise Introduction to Mathematical Logic |publisher=[[Springer Science+Business Media]] |location=New York |edition=3rd |isbn = 978-1-4419-1220-6 |year=2010 }}
* [[Grzegorz Rozenberg]], [[Arto Salomaa]], ''Handbook of Formal Languages: Volume I-III'', Springer, 1997, {{ISBN|3-540-61486-9}}.
* Patrick Suppes, ''Introduction to Logic'', D. Van Nostrand, 1957, {{ISBN|0-442-08072-7}}.
{{refend}}