A Generalization of Semenov’s Theorem to Automata over Real Numbers

DOI10.1007/978-3-642-02959-2_34zbMath1250.03061MaRDI QIDQ5191120

Julien Brusten, Jérôme Leroux, Bernard Boigelot

Publication date: 28 July 2009

Published in: Automated Deduction – CADE-22 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02959-2_34

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

Related Items

First-Order Logic and Numeration Systems, Externally definable quotients and NIP expansions of the real ordered additive group, Decidability of Definability Issues in the Theory of Real Addition, An asymptotic version of Cobham’s theorem, Substitutive systems and a finitary version of Cobham's theorem, An analogue of Cobham's theorem for graph directed iterated function systems, Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order

Uses Software

• LASH
• LIRA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of Cobham's theorem to automata over real numbers
• The computational complexity of logical theories
• Presburgerness of predicates regular in two number systems
• Logic and \(p\)-recognizable sets of integers
• Efficient minimization of deterministic weak \(\omega\)-automata
• On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
• The Büchi Complementation Saga
• An effective decision procedure for linear arithmetic over the integers and reals
• On the base-dependence of sets of numbers recognizable by finite automata
• Don’t Care Words with an Application to the Automata-Based Approach for Real Addition