The theory of regular events. II
Havel, Ivan M. (1969)
Kybernetika
Similarity:
Havel, Ivan M. (1969)
Kybernetika
Similarity:
Irena Pevac (1982)
Publications de l'Institut Mathématique
Similarity:
Pevac, Irena (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
David Handel (1980)
Fundamenta Mathematicae
Similarity:
B. Torrecillas, F. Van Oystaeyen (1990)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
D. V. Thampuran (1970)
Matematički Vesnik
Similarity:
Betten, Anton, Betten, Dieter (1997)
Beiträge zur Algebra und Geometrie
Similarity:
Al-Omari, Ahmad, Noorani, Mohd Salmi Md (2007)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Flavio Corradini, Rocco De Nicola, Anna Labella (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
An alternative (tree-based) semantics for a class of regular expressions is proposed that assigns a central rôle to the + operator and thus to nondeterminism and nondeterministic choice. For the new semantics a consistent and complete axiomatization is obtained from the original axiomatization of regular expressions by Salomaa and by Kozen by dropping the idempotence law for + and the distribution law of • over +.