3865 search results - page 1 / 773 » From Bidirectionality to Alternation |
MFCS
2001
Springer
13 years 9 months ago
2001
Springer
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on fin...
JOT
2007
13 years 5 months ago
2007
DBPL
2005
Springer
13 years 10 months ago
2005
Springer
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legib...
IWPT
2001
13 years 6 months ago
2001
We define a new model of automata for the description of bidirectional parsing strategies for tree adjoining grammars and a tabulation mechanism that allow them to be executed in ...
ICSE
2009
IEEE-ACM
13 years 10 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...