1054 search results - page 5 / 211 » A Formalization of the Turing Test |
ARTMED
2008
14 years 10 months ago
2008
CIE
2006
Springer
14 years 10 months ago
2006
Springer
COMPUTER
1999
14 years 9 months ago
1999
CORR
2000
Springer
14 years 10 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
SIGCSE
2006
ACM
15 years 4 months ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...