<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://wiki.kalabovi.org/lib/exe/css.php?s=feed" type="text/css"?>
<rss version="2.0">
    <channel xmlns:g="http://base.google.com/ns/1.0">
        <title>Kalábovi - pitel:tin:ukoly:2010</title>
        <description>Kalábovic wikina</description>
        <link>https://wiki.kalabovi.org/</link>
        <lastBuildDate>Tue, 07 Apr 2026 02:24:44 +0000</lastBuildDate>
        <generator>FeedCreator 1.8</generator>
        <image>
            <url>https://wiki.kalabovi.org/_media/wiki:dokuwiki.svg</url>
            <title>Kalábovi</title>
            <link>https://wiki.kalabovi.org/</link>
        </image>
        <item>
            <title>Úkol 1</title>
            <link>https://wiki.kalabovi.org/pitel:tin:ukoly:2010:1?rev=1672407781&amp;do=diff</link>
            <description>Úkol 1

Bc. Jan Kaláb &lt;xkalab00@stud.fit.vutbr.cz&gt;

Příklad 1

Uvažte jazyk L1 = {aibjci+j | i ≥ 0, j ≥ 0}.

Sestavte gramatiku G1 takovou, že L(G1) = L1.

G1 = ({a, b, c}, {S, A, B}, S, P)

P = {

	*  S → A
	*  A → aAc | B
	*  B → bBc</description>
            <author>anonymous@undisclosed.example.com (Anonymous)</author>
            <pubDate>Fri, 30 Dec 2022 13:43:01 +0000</pubDate>
        </item>
        <item>
            <title>Úkol 2</title>
            <link>https://wiki.kalabovi.org/pitel:tin:ukoly:2010:2?rev=1672407781&amp;do=diff</link>
            <description>Úkol 2

Bc. Jan Kaláb &lt;xkalab00@stud.fit.vutbr.cz&gt;

Příklad 1

Navrhněte algoritmus, který pro daný netereminál A a bezkontextovou gramatiku G = (N, Σ, P, S) rozhodne, zda A je prvním symbolem nějaké větné formy G, t.j., zda S ⇒* Aγ, kde</description>
            <author>anonymous@undisclosed.example.com (Anonymous)</author>
            <pubDate>Fri, 30 Dec 2022 13:43:01 +0000</pubDate>
        </item>
    </channel>
</rss>
