We consider the problem of defining regular expressions to characterize the class of recognizable picture languages in the case of a one-letter alphabet. We define a diagonal concatenation and its "star" and consider two different families, L(D) and L(CRD), of languages denoted by regular expressions involving such operations plus classical operations. L(D) is characterized both in terms of rational relations and in terms of two-dimensional automata moving only right and down while L(CRD) is included in REC and contains languages defined by three-way automata while languages in L(CRD) necessarily satisfy some regularity conditions. Finally, we introduce new definitions of "advanced stars" expressing the necessity of conceptually different definitions for iteration.

“New operations and regular expressions for two-dimensional languages over one-letter alphabet”

MADONIA, Maria Serafina
2005-01-01

Abstract

We consider the problem of defining regular expressions to characterize the class of recognizable picture languages in the case of a one-letter alphabet. We define a diagonal concatenation and its "star" and consider two different families, L(D) and L(CRD), of languages denoted by regular expressions involving such operations plus classical operations. L(D) is characterized both in terms of rational relations and in terms of two-dimensional automata moving only right and down while L(CRD) is included in REC and contains languages defined by three-way automata while languages in L(CRD) necessarily satisfy some regularity conditions. Finally, we introduce new definitions of "advanced stars" expressing the necessity of conceptually different definitions for iteration.
2005
Two-dimensional languages; Regular Expressions
File in questo prodotto:
File Dimensione Formato  
TCS2005NewOperations.pdf

accesso aperto

Tipologia: Versione Editoriale (PDF)
Licenza: Non specificato
Dimensione 319.23 kB
Formato Adobe PDF
319.23 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11769/7388
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 16
social impact