815 search results - page 13 / 163 » Algebraic Recognizability of Languages |
FPCA
1987
15 years 1 months ago
1987
SYNASC
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
79
Voted
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
82
Voted
JUCS
2002
14 years 9 months ago
2002
: By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of language...
62
Voted
LRE
2006
14 years 9 months ago
2006
Only very recently have Vietnamese researchers begun to be involved in the domain of Natural Language Processing (NLP). As there does not exist any published work in formal linguis...