963 search results - page 2 / 193 » $M$-Solid Varieties of Languages |
TCS
2008
13 years 5 months ago
2008
Eilenberg's variety theorem gives a bijective correspondence between varieties of languages and varieties of finite monoids. The second author gave a similar relation between...
DLT
2006
13 years 6 months ago
2006
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
JSYML
2000
13 years 5 months ago
2000
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-sem...
IJCNLP
2004
Springer
13 years 10 months ago
2004
Springer
COGSCI
2004
13 years 5 months ago
2004
Four different kinds of grammars that can define crossing dependencies in human language are compared here: (i) context sensitive rewrite grammars with rules that depend on contex...