Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Stiahnuť ▼
Rýchlejšie ako prehliadači!
 

Dyckov jazyk

Index Dyckov jazyk

Dyckov jazyk nad 2n-prvkovou abecedou \ (n \in \mathbb) je v teórii formálnych jazykov bezkontextový jazyk, pomenovaný podľa matematika Walthera von Dycka, generovaný nasledujúcou gramatikou: V prípade, že a_1, a_2, \ldots, a_n sú nejaké typy ľavých zátvoriek a b_1, b_2, \ldots, b_n sú zodpovedajúce typy pravých zátvoriek, zodpovedá Dyckov jazyk nad abecedou \ jayzku všetkých dobrých uzátvorkovaní nad danými typmi zátvoriek.

6 vzťahy: Abeceda (teória automatov), Formálny jazyk, Gramatika (informatika), Matematik, Walther von Dyck, Zátvorka (interpunkčné znamienko).

Abeceda (teória automatov)

V teórii formálnych jazykov sa pojmom abeceda označuje je každá konečná množina symbolov (písmen).

Nový!!: Dyckov jazyk a Abeceda (teória automatov) · Pozrieť viac »

Formálny jazyk

(Formálny) jazyk je zovšeobecnenie pojmu jazyk z lingvistiky.

Nový!!: Dyckov jazyk a Formálny jazyk · Pozrieť viac »

Gramatika (informatika)

Gramatika je množina pravidiel určujúcich, ktoré vety (t. j. postupnosti znakov a hlások) patria do jazyka a ktoré nie.

Nový!!: Dyckov jazyk a Gramatika (informatika) · Pozrieť viac »

Matematik

Matematik je osoba, ktorého primárnou oblasťou štúdia je matematika.

Nový!!: Dyckov jazyk a Matematik · Pozrieť viac »

Walther von Dyck

Walther Franz Anton von Dyck (* 6. december 1856, Mníchov, Nemecko, vtedy Bavorské kráľovstvo – † 5. november 1934, Mníchov, Nemecko) bol nemecký matematik.

Nový!!: Dyckov jazyk a Walther von Dyck · Pozrieť viac »

Zátvorka (interpunkčné znamienko)

Druhy zátvoriek Zátvorka je interpunkčné znamienko ohraničujúce úsek textu, ktorý je poznámkou, vysvetlením a podobne.

Nový!!: Dyckov jazyk a Zátvorka (interpunkčné znamienko) · Pozrieť viac »

Presmerovanie tu:

Dyckove jazyky.

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »