We consider the family UREC of unambiguous recognizable two-dimensional languages. We prove that there are recognizable languages that are inherently ambiguous, that is UREC family is a proper subclass of REC family. The result is obtained by showing a necessary condition for unambiguous recognizable languages. Further UREC family coincides with the class of picture languages defined by unambiguous 2OTA and it strictly contains its deterministic counterpart. Some closure and non-closure properties of UREC are presented. Finally we show that it is undecidable whether a given tiling system is unambiguous
L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Informatique théorique et Applications/Thèoretical Informaties and Applications (vol. 25, ri° 1, 1991, p. 49 à 66) AUTOMATES ET CODÉS ZIGZAG (*) par Marcella ANSELMO (*) Communiqué paf J, BERSTEL Résumé.-Le point dé départ de cette étude est un théorème d'îsbell : le théorème du zigzag. L'on introduit ici la notion dé « zigzag » sur les mots et les langages, ainsi que la notion de code zigzag. Il sera fait un usage fondamental des automates boustrophédons {ou two-way, en anglais) et l'on remarquera l'équivalence de ces derniers avec les automates usuels. Le fait de pouvoir associer à tout langage reconnaissable un automate boustrophédon particulier nous permettra de prouver la décidabilité des codes zigzag finis et de certains autres.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.