1985/01/01 by Ernst L. Leiss, Ernst Leiss · 14 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Algorithm #Automata theory #Automaton #Boolean function #Büchi automaton #Combinatorics #Computer science #DNA and Biological Computing #Deterministic automaton #Deterministic finite automaton #Discrete mathematics #Finite-state machine #Formal Methods in Verification #Mathematics #Mobile automaton #Nondeterministic algorithm #Nondeterministic finite automaton #Quantum finite automata #Regular language #Succinctness #Theoretical computer science #Timed automaton #Two-way deterministic finite automaton #semigroups and automata theory #ω-automaton
paper · pdf · doi:10.1016/0304-3975(85)90215-4
published in Theoretical Computer Science 38, 133-136 (Elsevier BV)
crossref issued 1985/01/01 · crossref published 1985/01/01 · crossref published-print 1985/01/01 · openalex publication_date 1985/01/01 · crossref created 2003/08/08 · crossref deposited 2019/03/15 · openalex created_date 2025/10/10 · crossref indexed 2026/01/08 · openalex updated_date 2026/08/03