Stone duality and the recognisable languages over an algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5728 LNCS, Issue , 2009, Pages 236-250

  Gehrke, Mai ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC THEORIES; DUALITY THEORY; FINITE STATE AUTOMATA; NON-CLASSICAL LOGIC; RESIDUATION; STONE DUALITIES; THEORETICAL COMPUTER SCIENCE;

COMPUTER SCIENCE; FINITE AUTOMATA; LINGUISTICS;

ALGEBRA;

EID: 70350778349     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03741-2_17     Document Type: Conference Paper

References (12)

1. Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1994)
2. Dekkers, M.: Stone duality: An application in the theory of formal languages, Master's thesis, Radboud Universiteit Nijmegen, the Netherlands (December 2008)
3. Gehrke, M., Grigorieff, S., Pin, J.-É.: Duality and equational theory of regular languages. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 246-257. Springer, Heidelberg (2008)
4. Gehrke, M., Jónsson, B.: Bounded distributive lattices expansions. Mathematica Scandinavica 94(2), 13-45 (2004)
5. Gehrke, M., Priestley, H.A.: Canonical extensions of certain algebras with binary operations, J. Pure Appl. Alg. 209, 269-290 (2007)
6. Gehrke, M., Priestley, H.A.: Duality for certain algebras with binary operations via their canonical extensions. Stud. Log. 86(1), 31-68 (2007)
7. Goldblatt, R.: Varieties of complex algebras. APAL 44, 173-242 (1989)
8. Hindman, N., Strauss, D.: Algebra in the Stone-Čech compactification. de Gruyter Expositions in Mathematics, vol. 27. de Gruyter & Co., Berlin (1998)
9. Jónsson, B., Tarski, A.: Boolean algebras with operators I. Amer. J. Math. 73, 891-939 (1951)
10. Pin, J.-E.: Profinite Methods in Automata Theory. In: Albers, Marion (eds.) STACS 2009, Schloss Dagstuhl. Leibniz International Proceedings in Informatics, vol. 3, pp. 31-50 (2009)
11. Pippenger, N.: Regular Languages and Stone Duality. Theory Comput. Syst. 30(2), 121-134 (1997)
12. Rabin, M.O., Scott, D.: Finite automata and their decision problems. Journal of IBM 3, 114-125 (1959)