Template:Formal languages and grammars
From Wikipedia, the free encyclopedia
|
|
|
|
|
|
|
Type-0
|
|
|
—
|
|
|
Type-1
|
|
|
—
|
|
|
—
|
|
|
—
|
|
|
Type-2
|
|
|
—
|
|
|
—
|
|
|
Type-3
|
|
|
—
|
|
|
|
|
|
|
Each category of languages is a proper subset of the category directly above it. - Any automaton and any grammar in each category has an equivalent automaton or grammar in the category directly above it.
|
|