Overleg gebruiker:Patrick Schileffski/2009-10/Formeel Denken

Uit Werkplaats
Ga naar: navigatie, zoeken

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.jpg
Patrick SchileffskiPatrick 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.jpg
Christiaan HillenPatrick 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.jpg
Joeri ArendsenPatrick 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.jpg
Patrick SchileffskiJoeri 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.jpg
Patrick SchileffskiPatrick 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.jpg
Christiaan HillenPatrick Schileffski Remove this comment when resolved!


Toets 5 van 2007

Opdracht 4

Opdracht


2007toets5_M2.png

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.jpg
Patrick SchileffskiPatrick 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.jpg
Christiaan HillenPatrick 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.jpg
Patrick SchileffskiPatrick Schileffski Remove this comment when resolved!