
\documentclass[12pt]{article}

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


\setlength{\textheight}{26cm}

\setlength{\textwidth}{16cm}

\setlength{\baselineskip}{13pt}

\setlength{\topmargin}{-1.5cm}

\setlength{\oddsidemargin}{0.4cm}

\setlength{\evensidemargin}{0.4cm}

\pagestyle{empty}

\begin{document}
\noindent
{\large{\bf Formális nyelvek gyakorlat (14)}}
\\
\ \ 
\\
{\bf 2000. december 11., hétfő}
\vspace*{1cm}
\noindent
\\
1. Adott az alábbi nyelvtan mely logikai kifejezéseket generál.

\begin{eqnarray*}
A& \ra & A\vee B\;|\;B\\
B&\ra&B\wedge C\;|\;C\\
C  & \ra &\neg D\;|\;D  \\
D  & \ra &\forall X(A)\;|\;R  \\
R  & \ra &p(X)\;|\;(A)  \\
X  & \ra &x  
\end{eqnarray*}
a) Készítsen operátor precedencia elemzőt a nyelvtanhoz!
\\
b) Elemezze segítségével az $p(x)\wedge\neg p(x)$ mondatot!
\\
\ \ 
\\
2. (a) Operátor precedencia elemző kell a következő nyelvtanhoz:
\begin{eqnarray*}
S& \ra & (L)\;|\;a\\
L&\ra&L,S\;|\;S
\end{eqnarray*}
(b) Ha ez megvan, akkor elemezd az elemzővel az $(a,(a,a))$ szót!
\\
\ \ 
\\
3. Adott az alábbi nyelvtan: 
\begin{eqnarray*} 
S& \ra & XAAAB\\ 
B&\ra&AAB\;|\;CCCD\\ 
D & \ra &CCD\;|\;Y  \\ 
XA  & \ra &XE  \\ 
EA  & \ra &AE  \\ 
EC  & \ra & CZE \\ 
EZ  & \ra &ZE\\ 
EY  & \ra &Y  \\ 
XC  & \ra &X  \\ 
XZ  & \ra & 1X \\ 
XY  & \ra & \epsilon  
\end{eqnarray*} 
Adja meg a nyelv verbális specifikációját! 
(Magyarul: Mi a generált nyelv?)
\\
\ \ \\
4. Adjunk lineárisan korlátos Turing gépet az $\{a^nb^nc^n\}$ nyelvhez.
(A Turing gép nem lép le az input szó által kijelölt területről, 
de feltehetjük, hogy felismeri azt, hogy az első illetve, hogy az utolsó 
mezőn áll. Formálisan: az input szó $\#$ és $\$$ kezdő és záró 
markerrel van határolva.)  
\\
\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: 
