\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 5. kis zh}}
\\
\ \ 
\\
\noindent
1. Egy reguláris nyelv minden részhalmaza reguláris.
\bigskip
\\
2. Egy reguláris nyelvnek és a komplementerének ugyanannyi állapotú a
minimálautomatája.
\bigskip
\\
3. Meg lehet szüntetni egy $CF$ nyelvtan balrekurzivítását.
\bigskip
\\4. Két $CF$ nyelv úniója biztosan $CF$ nyelv.
\bigskip
\\5. Ha egy $CF$ nyelvtan nem egyértelmű, akkor a generált nyelv sem
egyértelmű.
\bigskip
\\6. A determinisztikus veremautomaták ereje kisebb, mint a tetszőleges
veremautomaták ereje.
\bigskip
\\7. A röntgenszemű veremautomaták ereje megegyezik a nem-röntgenszemű 
veremautomaták erejével.
\bigskip
\\8. Megszámlálhatóan végtelen sok generatív nyelv van.
\smallskip
\\9. Az Earley algoritmussal nem egyértelmű nyelvtanok is elemezhetők.
\bigskip
\\10. Ha egy nyelvtan $LL(k-1)$ elemezhető, akkor $LL(k)$ elemezhető is.
\\
\ \ \\
Megoldás:
\\
1. Nem: pl $a^nb^n$ részhalmaza az ${\{a,b\}}^*$-nak.
\\
2. Igaz, ugyanabból a felosztásból indul a minimalizálás és ugyanúgy megy, csak
mások lesznek az elfogadó állapotok. 
\\
3. Igaz, a GNF ezt teszi. 
\\
4. Igaz, tanultuk.\\
5.  Nem igaz, lehet, hogy van a nyelvnek egyértelmű nyelvtana is.\\
6.  Igaz, tanultuk.
\\
7. Igaz, tanultuk.
\\
8. Igaz, tanultuk.
\\
9. Igaz, tanultuk.
\\
10. Igaz, az algoritmusból következik.

  

\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: 

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

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

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