Commit 28f67288 authored by Kateřina Sloupová's avatar Kateřina Sloupová
Browse files

user reference tweaks

parent b68b0990

doc/userref.html

+10 −3
Original line number Diff line number Diff line
@@ -40,7 +40,10 @@ 
<li><code>(q_0, a) = q_1 (q_0, b) = q_1 (q_1, a) = q_1 final = {q_1}</code> (DFA s počátečním stavem <code>q_0</code>)</li>

<li><code>init=init (init,a)={fst,snd} (fst,b)={snd} (snd,b)={fst} final={fst,snd}</code> (NFA s počátečním stavem <code>init</code>)</li>

<li><code>(0,ε)={1} final={}</code> (NFA s epsilon kroky, počátečním stavem <code>init</code> a žádnými koncovými stavy)</li>

<li><code>(A,a)=B (A,b)=C</code><br> <code>(B,a)=A (B,b)=B</code><br> <code>(C,a)=C (C,b)=A</code><br> <code>final={A}</code> (DFA s počátečním stavem <code>A</code>)</li>

<li><code>(A,a)=B (A,b)=C</code><br />

<code>(B,a)=A (B,b)=B</code><br />

<code>(C,a)=C (C,b)=A</code><br />

<code>final={A}</code> (DFA s počátečním stavem <code>A</code>)</li>

</ul>

<h2 id="regulární-výrazy">Regulární výrazy</h2>

<p>Základní regulární výrazy jsou znak, prázdné slovo a prázdný jazyk:</p>
@@ -80,8 +83,12 @@ 
<h3 id="příklady-2">Příklady</h3>

<ul>

<li><code>S -&gt; aS | aA | a; A -&gt; bA | aS</code></li>

<li><code>A -&gt; aB'</code><br> <code>A -&gt; bA</code><br> <code>B' -&gt; aB'</code><br> <code>B' -&gt; a</code></li>

<li><code>&lt;init&gt; -&gt; a&lt;00X&gt; | a&lt;ab&gt; | ε</code><br> <code>&lt;ab&gt; -&gt; b</code></li>

<li><code>A -&gt; aB'</code><br />

<code>A -&gt; bA</code><br />

<code>B' -&gt; aB'</code><br />

<code>B' -&gt; a</code></li>

<li><code>&lt;init&gt; -&gt; a&lt;00X&gt; | a&lt;ab&gt; | ε</code><br />

<code>&lt;ab&gt; -&gt; b</code></li>

</ul>

<h2 id="bezkontextové-gramatiky">Bezkontextové gramatiky</h2>

<p>Pro zápis CFG platí všechna pravidla jako pro regulární gramatiky kromě omezení tvaru pravé strany pravidel. Pravé strany pravidel nemusí být jen typu samotný terminál nebo dvojice terminál a neterminál, ale mohou obsahovat terminály i neterminály v libovolné kombinaci nebo ε.</p>

doc/userref.md

+10 −3
Original line number Diff line number Diff line
@@ -32,7 +32,10 @@ Vyžaduje-li zadání úlohy kanonizaci automatu, použijte při pojmenováván 
* `(q_0, a) = q_1 (q_0, b) = q_1 (q_1, a) = q_1 final = {q_1}` (DFA s počátečním stavem `q_0`)

* `init=init (init,a)={fst,snd} (fst,b)={snd} (snd,b)={fst} final={fst,snd}` (NFA s počátečním stavem `init`)

* `(0,ε)={1} final={}` (NFA s epsilon kroky, počátečním stavem `init` a žádnými koncovými stavy)

* `(A,a)=B (A,b)=C`<br> `(B,a)=A (B,b)=B`<br> `(C,a)=C (C,b)=A`<br> `final={A}` (DFA s počátečním stavem `A`)

* `(A,a)=B (A,b)=C`  

  `(B,a)=A (B,b)=B`  

  `(C,a)=C (C,b)=A`  

  `final={A}` (DFA s počátečním stavem `A`)



## Regulární výrazy
@@ -77,8 +80,12 @@ Terminálem může být jedno malé písmeno anglické abecedy nebo číslice `0 


### Příklady

* `S -> aS | aA | a; A -> bA | aS`

* `A -> aB'`<br> `A -> bA`<br> `B' -> aB'`<br> `B' -> a`

* `<init> -> a<00X> | a<ab> | ε`<br> `<ab> -> b`

* `A -> aB'`  

  `A -> bA`  

  `B' -> aB'`  

  `B' -> a`

* `<init> -> a<00X> | a<ab> | ε`  

  `<ab> -> b`





## Bezkontextové gramatiky