scientific article; zbMATH DE number 1159571

zbMATH Open0899.68059MaRDI QIDQ4391985FDOQ4391985

Authors: Rongfang Bie 

Publication date: 1 November 1998

Title of this publication is not available (Why is that?)

Recommendations

• Transformation between regular expressions and \(\omega\)-automata
• From \(\omega\)-regular expressions to Büchi automata via partial derivatives
• Construction of a Deterministicω-Automaton Using Derivatives
• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
• Probabilistic \(\omega \)-regular expressions

zbMATH Keywords

extended regular expression

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (4)

• Title not available (Why is that?)
• Intersection of \(-\omega \)-regular expressions
• Extended to multi-tilde-bar regular expressions and efficient finite automata constructions
• Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4391985)