- A Unified Translation of Linear Temporal Logic to ω-Automata
2020/10/17 by Javier Esparza, Jan Křetínský, Salomon Sickert · 7 citations
Computer Science · Mathematics · #Algorithm #Automata theory #Automaton #Computer science #Discrete mathematics #Formal Methods in Verification #Linear temporal logic #Logic, programming, and type systems #Mathematics #Nondeterministic algorithm #Quantum finite automata #Theoretical computer science #semigroups and automata theory #ω-automaton
- On the complexity of omega -automata
1988/01/01 by Muli Safra · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · Mathematics · #semigroups and automata theory #Chemical Synthesis and Analysis #Formal Methods in Verification #Nondeterministic algorithm #Büchi automaton #Automaton #Discrete mathematics #Automata theory #Computer science #Quantum finite automata #Successor cardinal #ω-automaton #Order (exchange) #Omega #Exponential function #Upper and lower bounds #Mathematics #Theoretical computer science #Combinatorics #Deterministic automaton
- On the Recognition of Primes by Automata
1968/07/01 by Juris Hartmanis, H. Shank · 1 citation
Computer Science · Mathematics · #Algorithm #Automata theory #Automaton #Combinatorics #Computability, Logic, AI Algorithms #Computer science #Deterministic automaton #Discrete mathematics #Finite-state machine #Logic, programming, and type systems #Mathematics #Prime number #Pushdown automaton #Quantum finite automata #Set (abstract data type) #Theoretical computer science #semigroups and automata theory #ω-automaton