On bigram languages

摘要

We consider formal languages defined by bigram matrices and study connections between various properties of such languages, directed graphs and Eulerian circuits in these graphs. We also formulate criteria of non-emptiness, finiteness and infiniteness of languages and conditions of language regularity.