Similar to マイヒル–ネローデの定理

Rewriting

Formation rule

Confluence (abstract rewriting)

Smallest grammar problem

Mildly context-sensitive grammar formalism

Terminal and nonterminal symbols

Regular grammar

Attribute grammar

Feature structure

Abstract syntax

Abstract syntax tree

Chomsky hierarchy

Chomsky normal form

Dyck language

Parsing expression grammar

Categorial grammar

Pumping lemma

Left recursion

Context-sensitive language

Context-sensitive grammar

Context-free language

Pumping lemma for context-free languages

Context-free grammar

Logical formula

Logical constant