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