Repository logo

Browsing by Subject "automaty"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    An automaton-based approach to chosen systems of temporal logic - theory and application
    (Data obrony: 2019-09-12) Burczyk, Katarzyna
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Interactive Resource, Access status: Metadata only ,
    Języki formalne i kompilatory
    (2010) Strojny, Urszula
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej; Centrum e-Learningu i Innowacyjnej Dydaktyki
    Zagadnienie języków formalnych i kompilatorów łączy elementy humanistycznych nauk o języku  z inżynieryjnym podejściem do wiedzy. W części teoretycznej wyodrębnione zostały trzy działy:  wstępne informacje, zagadnienia dotyczące języków formalnych oraz treści związane z automatami i kompilatorami, a także dodatkowo moduł BPMN, który poszerza zakres materiału o treści z laboratoriów. W części praktycznej znajdują się wskazówki dotyczące odgadywania języka generowanego przez gramatykę oraz gramatyki na podstawie wygenerowanego kodu. Znajdziesz tutaj także Quiz, umożliwiający sprawdzenie zdobytej wiedzy oraz test z działu BPMN. <br>Strona brała udział w konkursie <a href="https://notatki.cel.agh.edu.pl/">„Notatki w Internecie”.</a>