LOGIKA MODALNA, AUTOMATY i
JĘZYKI.
- Logiki modalne i temporalne (czasowe): modele algebraiczne (algebry Boole’a z operatorami) i modele relacyjne (modele Kripkego); dualność pomiędzy nimi..
- Automaty i języki. Automaty skończenie
stanowe. Automaty minimalne. . Charakteryzacje języków regularnych: Tw. Kleenego, Tw. Myhilla –Nerode’a. .
Uwagi o językach formalnych. Języki regularne Języki i
gramatyki bezkontekstowe. Postacie Normalne Chomsky’ego, Automaty ze stosem.
Hierarchia Chomsky’ego
Ko-algebry: Struktury Kripkego i Automaty.
Literatura:
P. Blackburn, M. de Rijke, Y.
Venema, Modal
Logic, (Cambridge: Cambridge University Press: 2001)
P.
Blackburn, Johan van Benthem, and Frank Wolter, Handbook of Modal Logic, Dordrecht: Elsevier: 2006, w Internecie: http://www.csc.liv.ac.uk/~frank/MLHandbook/
K. Devlin,
Żegnaj, Kartezjuszu: rozstanie z logiką w poszukiwaniu nowej kosmologii
umysłu), Wa-wa 1999
J. E. Hopcroft, J.D. Ullman „Wprowadzenie do teorii
automatów, języków i obliczeń. PWN Warszawa 1994
K. Swirydowicz, Podstawy Logiki Modalnej, Wydawnictwo UAM, Poznań 2004,