null
US
Sign In
Sign Up for Free
Sign Up
We have detected that Javascript is not enabled in your browser. The dynamic nature of our site means that Javascript must be enabled to function properly. Please read our
terms and conditions
for more information.
Next up
Copy and Edit
You need to log in to complete this action!
Register for Free
949956
AAG 1
Description
Mind Map on AAG 1, created by Šabata Tomáš on 05/29/2014.
Mind Map by
Šabata Tomáš
, updated more than 1 year ago
More
Less
Created by
Šabata Tomáš
over 10 years ago
48
0
2
Resource summary
AAG 1
Jazyk L
Annotations:
Množina všech přípustných kombinací znaků vstupní abecedy
Rekurzivně spočtěné
Annotations:
\( \alpha\) -> \(\beta \)
Kontextové
Annotations:
\( \alpha B \gamma \) -> \( \alpha \beta \gamma\)
bezkontextové
Annotations:
A->\(\alpha\)
regulární
Annotations:
A -> aB | a S -> eps (pokud jazyk generuje prazdné slovo)
Konečný automat
Zasobníkový automat
lin. omezený TS
TS
Pumping lemma
Annotations:
Obecně nejde dokázat, že je jazyk regulární, lze to pouze vyvrátit, když není.
Důkaz sporem
Regulární jazyk ==> platí pumping lemma
definice pro Regulární Jazyk
slovo w ∈ L && |w| >=p
w = x y^i z
1<=|y| && |xy|<p && i>=0
definice pro Bezkontext. jazyk
w = x u^i y v^i z
1<=|uyv|<p && i >=0
Show full summary
Hide full summary
Want to create your own
Mind Maps
for
free
with GoConqr?
Learn more
.
Similar
OCR Chemistry - Atoms, Bonds and Groups (Definitions)
GwynsM
Question Words - GCSE German
lucykatewarman1227
21 Random IT questions
Eden Goddard
Sociology- Family and Households Flashcards
Heloise Tudor
The Brain and the Nervous System
feelingthepayne
Personality disorders
Anna Walker
Biology B2.2
Jade Allatt
SCLY1 - Families and Households theorists - Topic 1 Couples quiz (AQA AS sociology)
Tahlie
AQA Biology B2 Questions
Sian Griffiths
The Biological Approach to Psychology
Gabby Wood
Ahmed has tremors
Fatima Alkhateeb
Browse Library