Dzień dobry, poszukuje osoby która jest mi w stanie pomoc w dziedzinie teorii informatyki w następujących tematach:
operacje na językac, skladanie slow
domkniecie kleeny’ego
jezyki regularne, wyrazenia regularne
automaty skończone
automaty niedeterministyczne
determinizacja automatu skończonego
automaty z lambda-przejściami
równoważność automatów
jezyki nieregularne
klasa języków bezkontekstowych
postaci normalne
algorytm CYK
automaty ze stosem
funkcje przejścia
języki akceptowalne przez automaty ze stosem
klasa języków
lemat o pompowaniu
operacje na językach bezkontekstowych
maszyna Turinga
Bezkontekstowe jezyki rekurencyjnie przeliczalne
Maszyna z k-taśmami
klasa p
zlożoność prolemu osiągalności w grafie
oszacowanie zloźoności
klasa NP
certyfikaty
problemy NP-zupelne
problemy rostrzygalne
problemy nie rozstrzygalne