A software system for growth analysis of Mealy automata

DOI10.1007/S10559-006-0062-YMaRDI QIDQ2371687zbMATHOpenAlexFDO

Authors I. I. Reznikov, V. Sushchansky

Publication date 5 July 2007

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-006-0062-y

zbMATH Keywords

growth functionsoftware systemMealy automatoncomponent programming

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 5520350
• scientific article; zbMATH DE number 1762629
• scientific article; zbMATH DE number 5026373
• Composite and non-monotonic growth functions of Mealy automata.
• Rationality of the growth functions of initial Mealy automata

Cites work

• scientific article; zbMATH DE number 3168668 (Why is no real title available?)
• scientific article; zbMATH DE number 4047960 (Why is no real title available?)
• scientific article; zbMATH DE number 3577263 (Why is no real title available?)
• scientific article; zbMATH DE number 2169357 (Why is no real title available?)
• scientific article; zbMATH DE number 814828 (Why is no real title available?)
• Automata, dynamical systems, and groups
• Composite and non-monotonic growth functions of Mealy automata.
• The lamplighter group as a group generated by a 2-state automaton, and its spectrum
• The smallest Mealy automaton of intermediate growth.
• Two-state Mealy automata of intermediate growth over a two-letter alphabet

Cited in

(5)

• scientific article; zbMATH DE number 5520350 (Why is no real title available?)
• scientific article; zbMATH DE number 5025890 (Why is no real title available?)
• scientific article; zbMATH DE number 5026373 (Why is no real title available?)
• Composite and non-monotonic growth functions of Mealy automata.
• Numerical upper bounds on growth of automaton groups

Describes a project that uses

Uses Software

• GAP
• Magma

This page was built for publication: A software system for growth analysis of Mealy automata

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