Subcategories
This category has the following 13 subcategories, out of 13 total.
A
C
D
- Dependently typed languages (15 P)
G
- Graph rewriting (11 P)
L
- L-systems (10 P)
M
- Metalanguages (7 P)
P
- Problems on strings (11 P)
T
- Trace theory (6 P)
Pages in category "Formal languages"
The following 2 pages are in this category, out of approximately 202 total. This list may not reflect recent changes.
(previous page) (next page)(previous page) (next page)