Automatic graphs and D0L-sequences of finite graphs

DOI10.1016/S0022-0000(03)00065-5MaRDI QIDQ1877692zbMATH OpenOpenAlexFDO

Authors Olivier Ly

Publication date 19 August 2004

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-0000(03)00065-5

zbMATH Keywords

AutomataGraph transformationsInfinite graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Directed graphs (digraphs), tournaments (05C20) Automata and formal grammars in connection with logical questions (03D05) Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Turing machines and related notions (03D10) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Cayley graphs and automatic sequences
• scientific article; zbMATH DE number 1759440
• On automatic transitive graphs
• Automaticity of ordinals and of homogeneous graphs
• scientific article; zbMATH DE number 3843804
• scientific article; zbMATH DE number 7604432
• scientific article; zbMATH DE number 7268038
• Automaticity for graphs of groups
• scientific article; zbMATH DE number 3847421
• scientific article; zbMATH DE number 139736

Cites work

• scientific article; zbMATH DE number 3885965 (Why is no real title available?)
• scientific article; zbMATH DE number 3888913 (Why is no real title available?)
• scientific article; zbMATH DE number 3827211 (Why is no real title available?)
• scientific article; zbMATH DE number 4049064 (Why is no real title available?)
• scientific article; zbMATH DE number 41228 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 3569855 (Why is no real title available?)
• scientific article; zbMATH DE number 3628770 (Why is no real title available?)
• scientific article; zbMATH DE number 1059243 (Why is no real title available?)
• scientific article; zbMATH DE number 1493054 (Why is no real title available?)
• scientific article; zbMATH DE number 1759440 (Why is no real title available?)
• scientific article; zbMATH DE number 2102748 (Why is no real title available?)
• scientific article; zbMATH DE number 1421186 (Why is no real title available?)
• scientific article; zbMATH DE number 3246034 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• scientific article; zbMATH DE number 3312693 (Why is no real title available?)
• An effective version of Stallings' theorem in the case of context-free groups
• Boundary NLC graph grammars—Basic definitions, normal forms, and complexity
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handle-rewriting hypergraph grammars
• On torsion-free groups with infinitely many ends
• Representing graph families with edge grammars
• Sur les groupes hyperboliques d'après Mikhael Gromov. (On the hyperbolic groups à la M. Gromov)
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• The monadic second-order logic of graphs. IV: Definability properties of equational graphs
• The theory of ends, pushdown automata, and second-order logic
• The undecidability of the Turing machine immortality problem
• Über unendliche Wege in Graphen

Cited in

(5)

• scientific article; zbMATH DE number 1759440 (Why is no real title available?)
• A Hierarchy of Automaticω-Words having a Decidable MSO Theory
• The theory of ends, pushdown automata, and second-order logic
• Cayley graphs and automatic sequences
• Some natural decision problems in automatic graphs

This page was built for publication: Automatic graphs and D0L-sequences of finite graphs

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