Sciweavers

268 search results - page 9 / 54
» Linear Context Free Languages
Sort
View
PARLE
1987
13 years 10 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
DAGM
2008
Springer
13 years 9 months ago
Natural Language Understanding by Combining Statistical Methods and Extended Context-Free Grammars
This paper introduces an novel framework for speech understanding using extended context-free grammars (ECFGs) by combining statistical methods and rule based knowledge. By only us...
Stefan Schwärzler, Joachim Schenk, Frank Wall...
IJFCS
2010
58views more  IJFCS 2010»
13 years 5 months ago
Finding the Growth Rate of a Regular or Context-Free Language in Polynomial Time
Pawel Gawrychowski, Dalia Krieger, Narad Rampersad...
WOLLIC
2010
Springer
13 years 5 months ago
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...
Aditi Barthwal, Michael Norrish