\documentclass[10pt]{article}

\usepackage[latin2]{inputenc}
\usepackage[magyar]{babel}
\newcommand{\ra}{\ensuremath{\rightarrow}}
\newcommand{\bd}{\ensuremath{\mathbf{.}}}
\newcommand{\nye}{\ensuremath{<\cdot}}
\newcommand{\nyk}{\ensuremath{\dot{=}}}
\newcommand{\nyv}{\ensuremath{\cdot>}}

\begin{document}
\ \ \\
\ \ 
\begin{tabular}{|c|c|c|c|c|c|c|c|c|c|}
\hline
&$\vee$&$\wedge$&$\neg$&$\forall$&(&)&p&x&$\epsilon$\\ \hline
$\vee$&\nyv&\nye&\nye&\nye&\nye&\nyv&\nye&&\nyv\\ \hline
$\wedge$&\nyv&\nyv&\nye&\nye&\nye&\nyv&\nye&&\nyv\\ \hline
$\neg$&\nyv&\nyv&&\nye&\nye&\nyv&\nye&&\\ \hline
$\forall$&&&&&\nyk&&&\nye&\\ \hline
(&\nye&\nye&\nye&\nye&\nye&\nyk&\nye&\nye&\\ \hline
)&\nyv&\nyv&&&&\nyv&&&\nyv\\ \hline
p&&&&&\nyk&&&&\\ \hline
x&&&&&\nyv&\nyv&&&\\ \hline
$\epsilon$&\nye&\nye&\nye&\nye&\nye&&\nye&&\\ \hline

\end{tabular}
\vspace*{1cm}\\
Az egyszerűsített nyelvtan (ami úgy jön, hogy mindenkit $A$-nak hívunk):\\
$A\ra A\vee A, 1$,\\
$A\ra A\wedge A, 2$,\\
$A\ra \neg A, 3$\\
$A\ra \forall A(A), 4$,\\
$A\ra p(A), 5$,\\
$A\ra (A), 6$\\
$A\ra x, 7$
\\ \ \ \\
Az elemzés:\\
\ \ \\
Elöl áll a veremtartalom, középen az 
input, hátul a kimenet.:
\vspace*{1cm}\\
$\epsilon\;\;\;\;\;\;\;\;p(x)\wedge \neg p(x)\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ra
$\\
$\nye p\;\;\;\;\;\;\;\;(x)\wedge \neg p(x)\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ra
$\\
$\nye p\nyk (\;\;\;\;\;\;\;\;x)\wedge \neg p(x)\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ra
$\\
$\nye p\nyk (\nye x\;\;\;\;\;\;\;\;)\wedge \neg p(x)\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ra
$\\
$\nye p\nyk ( A\;\;\;\;\;\;\;\;)\wedge \neg p(x)\;\;\;\;\;\;\;\;7\;\;\;\;\;\;\;\;\ra
$\\
$\nye p\nyk ( A\nyk )\;\;\;\;\;\;\;\;\wedge \neg p(x)\;\;\;\;\;\;\;\;7\;\;\;\;\;\;\;\;\ra
$\\
$A\;\;\;\;\;\;\;\;\wedge \neg p(x)\;\;\;\;\;\;\;\;75\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \;\;\;\;\;\;\;\;\neg p(x)\;\;\;\;\;\;\;\;75\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg\;\;\;\;\;\;\;\;p(x)\;\;\;\;\;\;\;\;75\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg\nye p\;\;\;\;\;\;\;\;(x)\;\;\;\;\;\;\;\;75\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg\nye p\nyk (\;\;\;\;\;\;\;\;x)\;\;\;\;\;\;\;\;75\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg\nye p\nyk (\nye x\;\;\;\;\;\;\;\;)\;\;\;\;\;\;\;\;75\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg\nye p\nyk (A\;\;\;\;\;\;\;\;)\;\;\;\;\;\;\;\;757\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg\nye p\nyk (A\nyk )\;\;\;\;\;\;\;\;\epsilon \;\;\;\;\;\;\;\;757\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge \nye \neg A\;\;\;\;\;\;\;\;\epsilon \;\;\;\;\;\;\;\;7575\;\;\;\;\;\;\;\;\ra
$\\
$\nye A\wedge A\;\;\;\;\;\;\;\;\epsilon \;\;\;\;\;\;\;\;75753\;\;\;\;\;\;\;\;\ra
$\\
$A\wedge A\;\;\;\;\;\;\;\;\epsilon \;\;\;\;\;\;\;\;757532\;\;\;\;\;\;\;\;\ra
$\\
Accept (757532).

\end{document}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
