\documentclass[12pt]{article}

\usepackage[latin2]{inputenc}
\usepackage[magyar]{babel}
\newcommand{\ra}{\ensuremath{\rightarrow}}


\setlength{\textheight}{26cm}

\setlength{\textwidth}{16cm}

\setlength{\baselineskip}{13pt}

\setlength{\topmargin}{-2.5cm}

\setlength{\oddsidemargin}{0.4cm}

\setlength{\evensidemargin}{0.4cm}

\pagestyle{empty}

\begin{document}
\noindent
{\large{\bf Formális nyelvek gyakorlat (14)}}
\\
\ \ 
\\
{\bf 2001., május 15.}
\\
\ \ \\
\noindent
{\bf Ezt előadáson végigszámoltuk.}\\
1. Készítsünk precedencia elemzőt az 
$S\ensuremath{\rightarrow} aSc\;|bSd\;|\;ac\;|\;bd$ 
nyelvtanhoz és elemezzük az $abdc$ szót!
\\
\ \ 
\\
2. (a) Mutassuk meg, hogy az 
$E\ensuremath{\rightarrow} E+T\;|\;T$, 
$T\ensuremath{\rightarrow} T*F\;|\;F$, 
$F\ensuremath{\rightarrow} (E)\;|\;a$
nyelvtan 
nem erős precedencia nyelvtan és egyúttal készítsünk hozzá gyenge 
precedencia elemzőt! 
\\
(b) Elemezzük a gyenge elemzővel az $a+a*a$ szót! 
\\
\ \ 
\\
{\bf Ennek az a) részét előadáson végigszámoltuk.}\\
3. Van-e precedencia elemző az alábbi nyelvtanokhoz? Ha van, akkor
azt is nézzük meg, hogy erős-e avagy gyenge. 
\\
(a) 
$S\ensuremath{\rightarrow} SA\;|A$,
$A\ensuremath{\rightarrow} (S)\;|\;()$ 
\\
(b) 
$S\ensuremath{\rightarrow}$ 
if $E$ then $S$ else $S\;|\;a$,
$E\ensuremath{\rightarrow} E$ 
or $b\;|\;b$
\\(c)
$S\ensuremath{\rightarrow} A;A$,
$A\ensuremath{\rightarrow} [S]\;|\;[i]\;|\;i$
\\
\ \ 
\\
{\bf Két éve vizsgafeladat volt:}\\
\ \ 
\\
4. Az alábbi nyelvtan reguláris kifejezéseket generál.

\begin{eqnarray*}
A& \ra & A+B\;|\;B\\
B&\ra&BC\;|\;C\\
C  & \ra &C^*\;|\;D  \\
D  & \ra &(A)\;|\;a  
\end{eqnarray*}
\ \ \\
a)Készítsen precedencia elemzőt a nyelvtanhoz!
\\
b) Elemezze segítségével az $a(a+a^*)^*$ mondatot!
\\
\ \ \\
{\bf Megoldások most is vannak a web-en.}

\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
%%% TeX-master: t
%%% End: 

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

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

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

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

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