Sigma*

swMATH21731MaRDI QIDQ33533FDOQ33533

Author name not available (Why is that?)

Described by source

• Sigma*

Cited In (11)

• Learning nominal automata
• Extended symbolic finite automata and transducers
• Regular \(\omega\)-languages with an informative right congruence
• Active learning for extended finite state machines
• Learning symbolic automata
• A Myhill-Nerode theorem for register automata and symbolic trace languages
• Learning register automata: from languages to program structures
• Learning the language of software errors
• Learning the Language of Error
• Inferring regular languages and \(\omega\)-languages
• Symbolic string transformations with regular lookahead and rollback

This page was built for software: Sigma*