Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: synchronized extension systems

Sortuj według:

Ogranicz wyniki do:

A note on SE-Systems and regular canonical systems

Tiplea F.L., Mäkinen E.

Fundamenta Informaticae

2001

Vol. 46, nr 3

253-256

A synchronized extension system is a 4-tuple G = (V,L1,L2,S), where V is an alphabet and L1, L2 and S are languages over V. Such systems generate languages extending L1 by L2 to the left or to the right, and synchronizing on words in S. In this note we consider the relationship between synchronized extension systems and regular canonical systems. We are able to give a simplified and generalized proof for the classical result concerning the regularity of the languages defined by regular canonical systems.