Overleg gebruiker:Patrick Schileffski/2009-10/Formeel Denken
Inhoud
Discussieruimte van Patrick voor de FD-toetsen
Alle rekentekens en delen van een formule kan je op deze site zien: http://meta.wikimedia.org/wiki/Help:Formula
Om het iets makkelijker te maken hier twee definities:
Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \in} = € → = -->
Toets 3 - Talen en automaaten
Toets 3 van 2008
Opdracht 2
Opdracht
We definineren:
Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle L_2} := {vw | v Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \in} {a, b}* , w Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \in} {b, c}*, |v| = |w|}
Geef een contextvrije grammatica voor L2.
Uitwerking
S → ASB | λ
A → a | b
B → b | c
Patricks uitwerking
S → aA | bA | λ
A → Sb | Sc
Kan me iemand zeggen of mijn uitwerking ook correct is, of - als niet - waarom niet? | ||
Patrick Schileffski → Patrick Schileffski | Remove this comment when resolved! |
Ik heb er even naar zitten kijken maar hoezeer ik propeer om hem te laten falen het lukt mij niet. Zo te zien klopt jouw uitwerking ook gewoon. Eignelijk heel simpel: als je in de voorste groep een a of b toevoegd volgt automatisch een b of c in de achterste groep waarna je dit truukje eventueel nog eens mag herhalen. dat ster groeter of gelijk meot zijn aan nul gaat ook, die heb je er in zitten met lamda. (En nu dan even naar je tweede vraag kijken, ik zal zo nog eens posten :p ) | ||
Christiaan Hillen → Patrick Schileffski | Remove this comment when resolved! |
Ik kan geen woord verzinnen die jij niet kunt maken en ook geen woord die je niet mag maken. Dus, ik denk dat ie goed is. Is jouw formule rechts-associatief? Zo nee, kun je 'm zo maken? Is dit een verschil tussen de twee antwoorden? | ||
Joeri Arendsen → Patrick Schileffski | Remove this comment when resolved! |
Het zou volgens mij vanwege |v| = |w| niet rechts-linear mogelijk zijn en die voorbeelduitwerking is ook niet rechts-linear | ||
Patrick Schileffski → Joeri Arendsen | Remove this comment when resolved! |
Toets 3 van 2007
Opdracht 4
Opdracht
Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle L_1} := {Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle w_1 ab w_2} | Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle w_1} , Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle w_2} Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \in} {a, b}*}
Is de taal Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \overline{L_1} \cap \overline{L_1 ^R} }
regulier? Verklaar je antwoord.
Hebben we zo iets in de les gehad / geleerd? | ||
Patrick Schileffski → Patrick Schileffski | Remove this comment when resolved! |
Wat hier staat is niet veel meer dan de Doorsnede tussen die twee talen. Waarbij die met de R de reverse is van de eerste. Beide zijn de complement van taal L (Zie pagina 19 van de reader). Of de taal L regulier is is te achetrhalen door de bepalen of deze taal te beschrijven is met een reguliere expressie. ... is hij op die manier te beschrijven? | ||
Christiaan Hillen → Patrick Schileffski | Remove this comment when resolved! |
Toets 5 van 2007
Opdracht 4
Opdracht
Geef een reguliere expressie voor de taal L(Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle M_2} )
Uitwerking
(a Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \cup} b)(a*b(a Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \cup} b))*a*
Patrick uitwerking
L(Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle M_2} )=Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \mathcal{L}} ((a Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \cup} b)(a Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \cup} ba Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \cup} bb)*)
Kan me iemand zeggen of mijn uitwerking ook correct is, of - als niet - waarom niet? | ||
Patrick Schileffski → Patrick Schileffski | Remove this comment when resolved! |
Als ik je uitwerking goed lees eindig je altijd op een b, terwijl je vanuit q1 toch echt kunt afsluiten met a*. Verder heb je denk ik wat weinig haakjes om het overzichtelijk te maken. | ||
Christiaan Hillen → Patrick Schileffski | Remove this comment when resolved! |
Volgens mij eindigt iedere woord of op een (of meerdere) "a" of op een "ba" of op een "bb", en dat heb ik probeert te formuleren | ||
Patrick Schileffski → Patrick Schileffski | Remove this comment when resolved! |