<?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:2011</title>
        <description>Kalábovic wikina</description>
        <link>https://wiki.kalabovi.org/</link>
        <lastBuildDate>Tue, 07 Apr 2026 02:24:47 +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:2011: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 = {aibj | 0 &lt; i ≤ j ∧ i + j = 2k, k ∈ ℕ}.

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

G1 = ({a, b}, {S, X, Y}, S, P)

P = {

	*  S → aXbY
	*  X → aXb</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:2011:2?rev=1672407781&amp;do=diff</link>
            <description>Úkol 2

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

Příklad 1

Uvažte jazyk L₁ = {wcⁱ | w ∈ {a, b}* ∧ (#a(w) = i ∨ #b(w) = i)}.

Sestavte gramatiku G₁ takovou, že L(G₁) = L₁.

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

P:

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

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

Příklad 1

Popište pomocí kompozitního diagramu jednopáskový Turingův stroj M, který provádí sčítání dvou čísel ve dvojkové soustavě. Pokud bude vstupní kofigurace pásky ΔA#B</description>
            <author>anonymous@undisclosed.example.com (Anonymous)</author>
            <pubDate>Fri, 30 Dec 2022 13:43:01 +0000</pubDate>
        </item>
        <item>
            <title>Úkol 4</title>
            <link>https://wiki.kalabovi.org/pitel:tin:ukoly:2011:4?rev=1672407781&amp;do=diff</link>
            <description>Úkol 4

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

Příklad 1

Pomocí počátečních funkcí, a operátorů kombinace, kompozice a primitivní rekurze výjádřete funkci počítající zbytek po celočíselném dělení:

mod: ℕ² → ℕ, mod</description>
            <author>anonymous@undisclosed.example.com (Anonymous)</author>
            <pubDate>Fri, 30 Dec 2022 13:43:01 +0000</pubDate>
        </item>
    </channel>
</rss>
