OurBigBook Wikipedia Bot
Documentation
Formal languages
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
toc
wiki
nosplit
articles:
163
Table of contents
163
1. Computer languages
link
nosplit
Formal languages
2. Dependently typed languages
link
nosplit
Formal languages
3. Formal theories
link
nosplit
Formal languages
4. Grammar frameworks
link
nosplit
Formal languages
5. L-systems
link
nosplit
Formal languages
6. Logic symbols
link
nosplit
Formal languages
7. Metalanguages
link
nosplit
Formal languages
8. Abstract rewriting system
link
nosplit
Formal languages
9. Abstract semantic graph
link
nosplit
Formal languages
10. Abstract syntax tree
link
nosplit
Formal languages
11. Adaptive grammar
link
nosplit
Formal languages
12. Affix grammar
link
nosplit
Formal languages
13. Agent Communications Language
link
nosplit
Formal languages
14. Alphabet (formal languages)
link
nosplit
Formal languages
15. Ambiguous grammar
link
nosplit
Formal languages
16. Arden's rule
link
nosplit
Formal languages
17. Attribute grammar
link
nosplit
Formal languages
18. Augmented Backus–Naur form
link
nosplit
Formal languages
19. Autocorrelation (words)
link
nosplit
Formal languages
20. Backus–Naur form
link
nosplit
Formal languages
21. Bigram
link
nosplit
Formal languages
22. Boolean grammar
link
nosplit
Formal languages
23. Brzozowski derivative
link
nosplit
Formal languages
24. Büchi-Elgot-Trakhtenbrot theorem
link
nosplit
Formal languages
25. Categorial grammar
link
nosplit
Formal languages
26. Chomsky hierarchy
link
nosplit
Formal languages
27. Chomsky normal form
link
nosplit
Formal languages
28. Chomsky–Schützenberger enumeration theorem
link
nosplit
Formal languages
29. Chomsky–Schützenberger representation theorem
link
nosplit
Formal languages
30. Closest string
link
nosplit
Formal languages
31. Compact semigroup
link
nosplit
Formal languages
32. Compiler Description Language
link
nosplit
Formal languages
33. Concatenation
link
nosplit
Formal languages
34. Cone (formal languages)
link
nosplit
Formal languages
35. Conference on Implementation and Application of Automata
link
nosplit
Formal languages
36. Conjunctive grammar
link
nosplit
Formal languages
37. Context-free grammar
link
nosplit
Formal languages
38. Context-free language
link
nosplit
Formal languages
39. Context-sensitive grammar
link
nosplit
Formal languages
40. Context-sensitive language
link
nosplit
Formal languages
41. Controlled grammar
link
nosplit
Formal languages
42. Critical exponent of a word
link
nosplit
Formal languages
43. Cross-serial dependencies
link
nosplit
Formal languages
44. Cyclic language
link
nosplit
Formal languages
45. Definite clause grammar
link
nosplit
Formal languages
46. Dershowitz–Manna ordering
link
nosplit
Formal languages
47. Descriptional Complexity of Formal Systems
link
nosplit
Formal languages
48. Descriptive interpretation
link
nosplit
Formal languages
49. Deterministic context-free grammar
link
nosplit
Formal languages
50. Deterministic context-free language
link
nosplit
Formal languages
51. Discontinuous-constituent phrase structure grammar
link
nosplit
Formal languages
52. Dyck language
link
nosplit
Formal languages
53. ECLR-attributed grammar
link
nosplit
Formal languages
54. Emptiness problem
link
nosplit
Formal languages
55. Empty string
link
nosplit
Formal languages
56. Equivalence (formal languages)
link
nosplit
Formal languages
57. Equivalence problem
link
nosplit
Formal languages
58. Extended Backus–Naur form
link
nosplit
Formal languages
59. Extended affix grammar
link
nosplit
Formal languages
60. Formal grammar
link
nosplit
Formal languages
61. Formal proof
link
nosplit
Formal languages
62. Formal system
link
nosplit
Formal languages
63. Formation rule
link
nosplit
Formal languages
64. Free monoid
link
nosplit
Formal languages
65. Generalized context-free grammar
link
nosplit
Formal languages
66. Gesture Description Language
link
nosplit
Formal languages
67. Global index grammar
link
nosplit
Formal languages
68. Greibach's theorem
link
nosplit
Formal languages
69. Greibach normal form
link
nosplit
Formal languages
70. Growing context-sensitive grammar
link
nosplit
Formal languages
71. Hall word
link
nosplit
Formal languages
72. Head grammar
link
nosplit
Formal languages
73. History monoid
link
nosplit
Formal languages
74. Indexed grammar
link
nosplit
Formal languages
75. Indexed language
link
nosplit
Formal languages
76. Interchange lemma
link
nosplit
Formal languages
77. International Conference on Developments in Language Theory
link
nosplit
Formal languages
78. Introduction to Automata Theory, Languages, and Computation
link
nosplit
Formal languages
79. Junction Grammar
link
nosplit
Formal languages
80. Kleene star
link
nosplit
Formal languages
81. Kuroda normal form
link
nosplit
Formal languages
82. L-attributed grammar
link
nosplit
Formal languages
83. LL grammar
link
nosplit
Formal languages
84. LR-attributed grammar
link
nosplit
Formal languages
85. Leftist grammar
link
nosplit
Formal languages
86. Lexical grammar
link
nosplit
Formal languages
87. Linear grammar
link
nosplit
Formal languages
88. List of formal language and literal string topics
link
nosplit
Formal languages
89. Literal movement grammar
link
nosplit
Formal languages
90. Local language (formal language)
link
nosplit
Formal languages
91. Locally catenative sequence
link
nosplit
Formal languages
92. Longest increasing subsequence
link
nosplit
Formal languages
93. Longest repeated substring problem
link
nosplit
Formal languages
94. Ludwig Staiger
link
nosplit
Formal languages
95. MU puzzle
link
nosplit
Formal languages
96. Markup language
link
nosplit
Formal languages
97. Matrix grammar
link
nosplit
Formal languages
98. Maximal pair
link
nosplit
Formal languages
99. Mildly context-sensitive grammar formalism
link
nosplit
Formal languages
100. Minimalist grammar
link
nosplit
Formal languages
101. Monoid factorisation
link
nosplit
Formal languages
102. Montague grammar
link
nosplit
Formal languages
103. Morphic word
link
nosplit
Formal languages
104. Muller–Schupp theorem
link
nosplit
Formal languages
105. Myhill–Nerode theorem
link
nosplit
Formal languages
106. Nested word
link
nosplit
Formal languages
107. Non-logical symbol
link
nosplit
Formal languages
108. Noncontracting grammar
link
nosplit
Formal languages
109. Normal form (abstract rewriting)
link
nosplit
Formal languages
110. Ogden's lemma
link
nosplit
Formal languages
111. Omega-regular language
link
nosplit
Formal languages
112. Omega language
link
nosplit
Formal languages
113. Operator-precedence grammar
link
nosplit
Formal languages
114. Parikh's theorem
link
nosplit
Formal languages
115. Parser combinator
link
nosplit
Formal languages
116. Parsing expression grammar
link
nosplit
Formal languages
117. Picture language
link
nosplit
Formal languages
118. Prefix grammar
link
nosplit
Formal languages
119. Production (computer science)
link
nosplit
Formal languages
120. Proof (truth)
link
nosplit
Formal languages
121. Pumping lemma for context-free languages
link
nosplit
Formal languages
122. Pumping lemma for regular languages
link
nosplit
Formal languages
123. Quasi-quotation
link
nosplit
Formal languages
124. Range concatenation grammar
link
nosplit
Formal languages
125. Recursively enumerable language
link
nosplit
Formal languages
126. Regular grammar
link
nosplit
Formal languages
127. Regular language
link
nosplit
Formal languages
128. Regular tree grammar
link
nosplit
Formal languages
129. Regulated rewriting
link
nosplit
Formal languages
130. Rewriting
link
nosplit
Formal languages
131. S-attributed grammar
link
nosplit
Formal languages
132. SCIgen
link
nosplit
Formal languages
133. SLR grammar
link
nosplit
Formal languages
134. Semantics encoding
link
nosplit
Formal languages
135. Semi-Thue system
link
nosplit
Formal languages
136. Sesquipower
link
nosplit
Formal languages
137. Signed-digit representation
link
nosplit
Formal languages
138. Simple precedence grammar
link
nosplit
Formal languages
139. Sparse language
link
nosplit
Formal languages
140. Splicing rule
link
nosplit
Formal languages
141. Square-free word
link
nosplit
Formal languages
142. Star height
link
nosplit
Formal languages
143. Star height problem
link
nosplit
Formal languages
144. Straight-line grammar
link
nosplit
Formal languages
145. String operations
link
nosplit
Formal languages
146. Substring
link
nosplit
Formal languages
147. Symbol (formal)
link
nosplit
Formal languages
148. Syntactic monoid
link
nosplit
Formal languages
149. Syntactic predicate
link
nosplit
Formal languages
150. Syntax (logic)
link
nosplit
Formal languages
151. Syntax diagram
link
nosplit
Formal languages
152. Terminal yield
link
nosplit
Formal languages
153. Top-down parsing language
link
nosplit
Formal languages
154. Trace monoid
link
nosplit
Formal languages
155. Trace theory
link
nosplit
Formal languages
156. Unary language
link
nosplit
Formal languages
157. Unary numeral system
link
nosplit
Formal languages
158. Unavoidable pattern
link
nosplit
Formal languages
159. Unrestricted grammar
link
nosplit
Formal languages
160. Van Wijngaarden grammar
link
nosplit
Formal languages
161. WFF 'N PROOF
link
nosplit
Formal languages
162. Well-formed formula
link
nosplit
Formal languages
163. Wirth–Weber precedence relationship
link
nosplit
Formal languages
Ancestors
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot