No Title

Next: About this document ...

(a)

	$\cup$	$\cap$	$\neg$	(	)	a	$\epsilon$
$\cup$	$\ensuremath{\cdot>}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{\cdot>}$	$\ensuremath{<\cdot}$	$\ensuremath{\cdot>}$
$\cap$	$\ensuremath{\cdot>}$	$\ensuremath{\cdot>}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{\cdot>}$	$\ensuremath{<\cdot}$	$\ensuremath{\cdot>}$
$\neg$	$\ensuremath{\cdot>}$	$\ensuremath{\cdot>}$		$\ensuremath{<\cdot}$	$\ensuremath{\cdot>}$	$\ensuremath{<\cdot}$	$\ensuremath{\cdot>}$
(	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{\dot{=}}$	$\ensuremath{<\cdot}$
)	$\ensuremath{\cdot>}$	$\ensuremath{\cdot>}$			$\ensuremath{\cdot>}$		$\ensuremath{\cdot>}$
a	$\ensuremath{\cdot>}$	$\ensuremath{\cdot>}$			$\ensuremath{\cdot>}$		$\ensuremath{\cdot>}$
$\epsilon$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$	$\ensuremath{<\cdot}$		$\ensuremath{<\cdot}$

Az egyszerűsített nyelvtan (azért egyszerűsíthetünk, mert a pecedencia tábla tartalmazza a többi infót):
$E\ensuremath{\rightarrow} E\cup E, 1$ ,
$E\ensuremath{\rightarrow} E \cap E, 2$ ,
$E\ensuremath{\rightarrow}\neg E, 3$ ,
$E\ensuremath{\rightarrow} (E), 4$ ,
$E\ensuremath{\rightarrow} a, 5$ .

Az elemzés:

$(\epsilon\;,\;a\cup \neg (\neg a \cup a )\;,\;\epsilon)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} a\;,\;\cup \neg (\neg a \cup a )\;,\;\epsilon)\ensuremath{\rightarrow}$
$(E\;,\;\cup \neg (\neg a \cup a )\;,\;5)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \;,\;\neg (\neg a \cup a )\;,\;5)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \;,\; (\neg a \cup a )\;,\;5)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \;,\; \neg a \cup a )\;,\;5)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \ensuremath{<\cdot}\neg \;,\; a \cup a )\;,\;5)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \ensu... ...\cdot}\neg \ensuremath{<\cdot} a \;,\; \cup a )\;,\;5)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \ensuremath{<\cdot}\neg E \;,\; \cup a )\;,\;55)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( E \;,\; \cup a )\;,\;553)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \ensuremath{<\cdot} E \cup \;,\; a )\;,\;553)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \ensu... ...{<\cdot} E \cup \ensuremath{<\cdot} a \;,\; )\;,\;553)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( \ensuremath{<\cdot} E \cup E \;,\; )\;,\;5535)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( E \;,\; )\;,\;55351)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg \ensuremath{<\cdot} ( E\ensuremath{\dot{=}} ) \;,\;\epsilon \;,\;55351)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup \ensuremath{<\cdot}\neg E \;,\;\epsilon \;,\;553514)\ensuremath{\rightarrow}$
$(\ensuremath{<\cdot} E \cup E \;,\;\epsilon \;,\;5535143)\ensuremath{\rightarrow}$
$(E \;,\;\epsilon \;,\;55351431)\ensuremath{\rightarrow}$ Accept.

About this document ...

Csiga
1999-05-20