Controlled finite automata

DOI10.1007/S00236-014-0199-5MaRDI QIDQ404012zbMATHOpenAlexFDO

Authors Alexander Meduna, Petr Zemek

Publication date 29 August 2014

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-014-0199-5

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Regulated pushdown automata
• Self-regulating finite automata
• Controlled pure grammar systems
• scientific article; zbMATH DE number 4062631
• Regulated nondeterminism in pushdown automata

Cites work

• scientific article; zbMATH DE number 1330031 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Blackhole pushdown automata
• Regulated pushdown automata
• Self-regulating finite automata

Cited in

(5)

• Self-regulating finite automata
• Automaton-Based Criteria for Membership in CTL
• Control of Infinite Behavior of Finite Automata
• Continuity controlled hybrid automata
• Monotonically controlling right linear grammars with unknown behaviors to output a target string

This page was built for publication: Controlled finite automata

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