A Logical Characterization of Small 2NFAs (Q4605508)
From MaRDI portal
scientific article; zbMATH DE number 6842438
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Logical Characterization of Small 2NFAs |
scientific article; zbMATH DE number 6842438 |
Statements
A Logical Characterization of Small 2NFAs (English)
0 references
22 February 2018
0 references
size complexity
0 references
two-way finite automata
0 references
nondeterminism
0 references
descriptive complexity
0 references
descriptional complexity
0 references
minicomplexity
0 references
