scientific article; zbMATH DE number 3866588

MaRDI QIDQ3334086zbMATH OpenFDO

Authors Satoru Miyano, Takeshi Hayashi

Publication date 1984

zbMATH Keywords

nondeterminismnondeterministic finite automataalternationinfinite sequences of symbolsomega-languagealternating finite automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(7)

• Alternating finite automata on \(\omega\)-words
• Automata on infinite trees
• An alternating hierarchy for finite automata
• Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
• Alternating finite automata and star-free languages
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• VLDL satisfiability and model checking via tree automata

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334086)