- Acta Cybernetica 17 (2006) 133. Automata on Infinite Biposets
- Higher Dimensional Automata Ph.D. Thesis
- A Hierarchy Theorem for Regular Languages over Free Bisemigroups
- On the Regularity of Binoid Languages: A Comparative Approach
- Journal of Automata, Languages and Combinatorics 9 (2004) 1, 329 c Otto-von-Guericke-Universitat Magdeburg
- RAIRO-Inf. Theor. Appl. 39 (2005) 305-322 DOI: 10.1051/ita:2005018
- Feladatok formalis nyelvek es szintaktikus elemzesuk gyakorlatra III. 1. Tegyuk determinisztikussa a kovetkezo automatakat
- Bonyolultsagelmelet II. ZH B csop MEGOLDASOK 1. a) Definialja a PSPACE osztalyt, milyen tartalmazasi viszonyban all PSPACE es NPSPACE,
- Szamitastudomany alapjai gyakorlatok IV. 1. Tekinsuk a kovetkezo szabalyokat
- NP-teljesseg bizonyitasa log. taru visszavezetessel Ahhoz hogy egy PROB problema NP-teljesseget igazoljuk ket dolgot kell megmutatnunk.
- Bonyolultsagelmelet gyakorlatok III. 1. Keszitsunk olyan tobbszalagos Turing-gepet, mely az L = {I2k
- Bonyolultsagelmelet tetelsor 2007 osz, levelezosoknek
- Az SZTE Informatikai Tanszkcsoportjn oktatott trgyak 2001-2005
- Bonyolultsagelmelet gyakorlatok IV/1 es IV/3 megoldasa. IV. 1/a Dontsuk el, hogy rekurziv, illetve rekurzivan felsorolhato-e a kovetkezo problema: Adott egy
- Feladatok formlis nyelvek s szintaktikus elemzsk gyakorlatra V. 1. Milyen tpus nyelvtan az albbi G = ({ S, A, B, C, D, E }, { a }, P, S) nyelvtan, ha a P
- Bonyolultsagelmelet gyakorlatok V. 1. Legyen 3SATKUL a kovetkezo problema: Adott egy konjunktiv normalformaju, tagonkent pontosan
- Feladatok formalis nyelvek es szintaktikus elemzesuk gyakorlatra II. 1. Adva van a kovetkezo determinisztikus veges automata: M = ({q0, q1, q2, q3}, {0, 1}, , q0, {q0}).
- Logika s informatikai alkalmazsai 2. levelezos gyakorlat
- Logika s informatikai alkalmazsai 6. gyakorlat
- NEV: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . SZAK: . . . . . . . . . . . . . . . . B Bonyolultsagelmelet II. ZH
- Bonyolultsagelmelet gyakorlatok IV. 1. (Papadimitriou 3.4.1. alapjan)
- Feladatok formlis nyelvek s szintaktikus elemzsk gyakorlatra VIII. 1. Szmoljuk ki a FI2, FO2 halmazokat az albbi szablyokkal megadott nyelvtanokhoz. Er-
- Bonyolultsagelmelet gyakorlatok II. 1. Adjunk meg olyan Turing-gepet1
- Logika s informatikai alkalmazsai 6. gyakorlat
- Logika s informatikai alkalmazsai 7. gyakorlat
- Logika s informatikai alkalmazsai 2. gyakorlat
- Bevezetles a bonyolultsagelmeletbe gyakorlatok I. Az Ackermann fuggveny avagy nem minden olyan egyszeru, mint amilyennek latszik
- Bonyolultsagelmelet kiskerdesek nappalis, 2011.
- Feladatok formalis nyelvek es szintaktikus elemzesuk gyakorlatra IV. 1. Adjuk meg regularis kifejezessel az alabbi automatak altal felismert nyelveket.
- Gyakorlo feladatok ,,Logika es informatikai alkalmazasai" II. ZH-ra 1. (5 pont) Hozza a kovetkezo formulat olyan zart Skolem normalformara, melynek magja
- Logika a szamitastudomanyban Logika es informatikai alkalmazasai
