Mit regulären Grundbegriffen definierbare Prädikate

Zusammenfassung

In Analogie etwa zu den bekannten rudimentären Prädikaten werden Prädikate betrachtet, die man mit logischen Mitteln aus Anfangsprädikaten gewinnen kann, die von endlichen Automaten entscheidbar sind. Es wird gezeigt, daß die mit solchen Prädikaten definierbaren Wortmengen stets wieder regulär sind. Ein entsprechendes Resultat gilt auch für den Bereich der Σ-bewerteten Bäume und endlichen Automaten über diesem Bereich.

Abstract

In analogy to the well known rudimentary predicates some predicates are considered which are constructed by logical operations from basic finite-automatondecidable attributes. It is shown that all sets of words definable by these predicates are regular. A similar results holds, if one changes to Σ-valued trees and finite automata on Σ-valued trees.