Browsing Mathematics (Faculty of) by Subject "theory of computation"
Now showing items 1-2 of 2
-
Problems Related to Shortest Strings in Formal Languages
(University of Waterloo, 2010-05-11)In formal language theory, studying shortest strings in languages, and variations thereof, can be useful since these strings can serve as small witnesses for properties of the languages, and can also provide bounds for ... -
Representing hierarchical state machine models in SMT-LIB
(ACM, 2016-05)We motivate and present a proposal for how to represent the syntax of behavioural models written in extended finite-state machine languages with hierarchical states (e.g., the Statecharts family) in SMT-LIB. By including ...