Thread View: be.comp.programming
5 messages
5 total messages
Started by Willem
Fri, 23 Jan 2004 18:27
Non Deterministic Push Down Automata - static variable
Author: Willem
Date: Fri, 23 Jan 2004 18:27
Date: Fri, 23 Jan 2004 18:27
9 lines
1226 bytes
1226 bytes
Hey, Kan je een taal die gebaseerd is op een NDPA theoretisch zo aanpassen dat static variables mogelijk zijn? (static zoals in ANSI C) Mvg, Wim
Re: Non Deterministic Push Down Automata - static variable
Author: Nicolas Barbier
Date: Fri, 23 Jan 2004 22:33
Date: Fri, 23 Jan 2004 22:33
12 lines
1652 bytes
1652 bytes
Willem wrote: > Kan je een taal die gebaseerd is op een NDPA theoretisch zo aanpassen > dat static variables mogelijk zijn? (static zoals in ANSI C) Wat bedoel je hier exact met "gebaseerd op"? (het zou natuurlijk kunnen dat ik hier een gemis in mijn kennis heb, maar ik ga ervan uit dat je vraag nogal onduidelijk is ;-) -- Nicolas Barbier Protecting innovation against patent inflation <url:http://swpat.ffii.org/>
Re: Non Deterministic Push Down Automata - static variable
Author: Willem
Date: Sat, 24 Jan 2004 13:51
Date: Sat, 24 Jan 2004 13:51
31 lines
2251 bytes
2251 bytes
De vraag is heel vaag. Meer concreet gezien: Ik heb een reeele interpreter van een taal gebaseerd op het model NPDA. Deze taal beschikt echter niet over de notie "static", en dat zou er aan toegevoegd moeten worden zonder het huidige te veel over hoop te halen. Een NPDA heeft in het theoretische model ��n geheugen dacht ik. (als ik me dat nog goed herinner) Dus ik heb al een tweede geheugen nodig om die statische variabelen ergens te onthouden. Kom je dan theoretisch met 2 PDA's te zitten? Zijn zo'n dingen te linken? Of zoek ik hopeloos naar iets? Dat is zowat de doelstelling van de vraag. Kan ik maanden blijven zoeken, of kan ik ergens theoretisch vinden dat het nooit zal lukken? On Fri, 23 Jan 2004 23:33:16 +0100, Nicolas Barbier <reply@in.group.invalid> wrote: >Willem wrote: > >> Kan je een taal die gebaseerd is op een NDPA theoretisch zo aanpassen >> dat static variables mogelijk zijn? (static zoals in ANSI C) > >Wat bedoel je hier exact met "gebaseerd op"? (het zou natuurlijk kunnen dat >ik hier een gemis in mijn kennis heb, maar ik ga ervan uit dat je vraag >nogal onduidelijk is ;-)
Re: Non Deterministic Push Down Automata - static variable
Author: Aquila
Date: Sat, 24 Jan 2004 14:38
Date: Sat, 24 Jan 2004 14:38
36 lines
2709 bytes
2709 bytes
Willem <willem75@pandora.be> wrote: >De vraag is heel vaag. >Meer concreet gezien: > >Ik heb een reeele interpreter van een taal gebaseerd op het model >NPDA. >Deze taal beschikt echter niet over de notie "static", en dat zou er >aan toegevoegd moeten worden zonder het huidige te veel over hoop te >halen. > Misschien een domme vraag, maar wat wil je bekomen met static variabelen? Ik denk dat in heel de theorie rond pushdown automaten dat niet echt past. >Een NPDA heeft in het theoretische model ��n geheugen dacht ik. (als >ik me dat nog goed herinner) Dus ik heb al een tweede geheugen nodig >om die statische variabelen ergens te onthouden. > Dan ga je meer naar niet deterministische multiple tape turing machines afdwalen, dat gaat maar het is een ander paradigma. >Kom je dan theoretisch met 2 PDA's te zitten? Zijn zo'n dingen te >linken? Of zoek ik hopeloos naar iets? Je gaat dan transities hebben die afhangen van 2 stacks, ik vermoed dat dat dus 1 PDA wordt... Linken van 2 PDA's kan alleen met eenzelfde stack denk ik. >Dat is zowat de doelstelling van de vraag. Kan ik maanden blijven >zoeken, of kan ik ergens theoretisch vinden dat het nooit zal lukken? > Als dit het doel is op zich dan zit je vast denk ik, tenzij je de PDA echt grondig kan aanpassen maar in hoeverre is het dan nog een PDA? -- Aquila "May the source be with you"
Re: Non Deterministic Push Down Automata - static variable
Author: Willem
Date: Sat, 24 Jan 2004 18:25
Date: Sat, 24 Jan 2004 18:25
42 lines
2797 bytes
2797 bytes
Bedankt voor je antwoord. Alles overhoop halen is de boodschap dus ;o) On Sat, 24 Jan 2004 15:38:57 +0100, Aquila <Braempje@Netscape.Net> wrote: >Willem <willem75@pandora.be> wrote: >>De vraag is heel vaag. >>Meer concreet gezien: >> >>Ik heb een reeele interpreter van een taal gebaseerd op het model >>NPDA. >>Deze taal beschikt echter niet over de notie "static", en dat zou er >>aan toegevoegd moeten worden zonder het huidige te veel over hoop te >>halen. >> >Misschien een domme vraag, maar wat wil je bekomen met static >variabelen? Ik denk dat in heel de theorie rond pushdown automaten dat >niet echt past. > >>Een NPDA heeft in het theoretische model ��n geheugen dacht ik. (als >>ik me dat nog goed herinner) Dus ik heb al een tweede geheugen nodig >>om die statische variabelen ergens te onthouden. >> >Dan ga je meer naar niet deterministische multiple tape turing >machines afdwalen, dat gaat maar het is een ander paradigma. > >>Kom je dan theoretisch met 2 PDA's te zitten? Zijn zo'n dingen te >>linken? Of zoek ik hopeloos naar iets? > >Je gaat dan transities hebben die afhangen van 2 stacks, ik vermoed >dat dat dus 1 PDA wordt... >Linken van 2 PDA's kan alleen met eenzelfde stack denk ik. > >>Dat is zowat de doelstelling van de vraag. Kan ik maanden blijven >>zoeken, of kan ik ergens theoretisch vinden dat het nooit zal lukken? >> >Als dit het doel is op zich dan zit je vast denk ik, tenzij je de PDA >echt grondig kan aanpassen maar in hoeverre is het dan nog een PDA?
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads