Voltar
Artigo Revisado por pares
BIBTEX RIS

Two-way deterministic finite automata are exponentially more succinct than sweeping automata

1981; Elsevier BV; Volume: 12; Issue: 2 Linguagem: Inglês

10.1016/0020-0190(81)90012-0

ISSN

1872-6119

Autores

Silvio Micali,

Tópico(s)

Formal Methods in Verification

Referência(s)
Ver no editor
Information Processing Letters
Altmetric
PlumX