Algebraický přístup k lineární temporální logice
Tématem diplomové práce je algebraický přístup k regulárním jazykům definovaným formulemi lineární temporální logiky. Každý regulární jazyk umíme popsat konečným automatem a konečnou pologrupou. V naší práci ukážeme, jak lze některé regulární jazyky popsat pomocí formulí lineární temporální logiky....
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2013
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/270271/prif_m/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Prezenční SKLAD |
Přírodovědecká fakulta | ÚK sklad - M | K-12452 | 3145358845 |