Sigma*

swMATH21731MaRDI QIDQ33533

No author found.

Described by source

• Sigma*

Related Items (11)

Symbolic String Transformations with Regular Lookahead and Rollback ⋮ Learning the Language of Error ⋮ Inferring regular languages and \(\omega\)-languages ⋮ Learning the Language of Software Errors ⋮ Learning nominal automata ⋮ Learning register automata: from languages to program structures ⋮ Learning Symbolic Automata ⋮ Regular \(\omega\)-languages with an informative right congruence ⋮ Active learning for extended finite state machines ⋮ A Myhill-Nerode theorem for register automata and symbolic trace languages ⋮ Extended symbolic finite automata and transducers

This page was built for software: Sigma*