A felev utolso szeminariuman Gyenizse Pali beszel. Az eloadas cime: Veges automatak es formalis logika
Az automatak es formalis logika kapcsolatanak vizsgalata egyidos a szamitastudomannyal. Az eloadas celja az alapfogalmak es definiciok megmutatasa. Alkalmazasi lehetosegkent, adunk egy jellemzeset a regularis nyelveknek masodrendu mondatokkal es megmutatjuk az elsorendu mondatok felismero kapacitasat.
Az eloadas alapja: Howard Straubing Finite Automata, Formal Logic, and Circuit Complexity
Minden erdeklodot szeretettel varunk!
Peter