Abstract
Purchase PDF (521 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (1)
Purchase PDF (857 K)
doi:10.1016/S0022-0000(03)00065-5 
Copyright © 2003 Elsevier Inc. All rights reserved.
Automatic graphs and D0L-sequences of finite graphs*1
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Received 19 January 2001;
Abstract
The notion of end is a classical mean to understand the behavior of a graph at infinity. In this respect, we show that the problem of deciding whether an infinite automatic graph has more than one end is recursively undecidable. The proof involves the analysis of some global topological properties of the configuration graph of a self-stabilizing Turing machine. This result is applied to the graph transformation system theory: It allows us to set a picture of decidability issues concerning logic of D0L-languages of finite graphs. We first show that the first-order theory of a D0L-sequence of finite graphs is decidable. Secondly, we show that the first-order theory, when it is upgraded with a closure operator, becomes undecidable for D0L-sequences of finite graphs.
Author Keywords: Infinite graphs; Graph transformations; Automata; Logic
Corresponding author. Current affiliation: 36-38 rue de la Princesse B.P. 45, 78431 , Louveciennes Cedex, , France
*1 This article is a full and enhanced version of .
