644 search results - page 15 / 129 » Precedence Automata and Languages |
SIEMENS
1993
15 years 3 months ago
1993
CONCUR
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
119
click to vote
FOSSACS
2008
Springer
15 years 27 days ago
2008
Springer
The problem of converting deterministic finite automata into (short) regular expressions is considered. It is known that the required expression size is 2(n) in the worst case for ...
SIGCSE
1999
ACM
15 years 3 months ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...