> On Mar 8, 2018, at 10:37 PM, [email protected] wrote: > >> >> On Mar 8, 2018, at 4:27 PM, Jan Sulmont <[email protected]> wrote: >> >> Hello! >> >> First I'd like to thank you all for Racket and more specifically PLT-redex >> (which I am intending to use I/o to formalise a workable semantics for the >> Orc language). >> >> I am struggling to understand how to convert a SOS to a Reduction Semantics. >> if I understood correctly, SOS labels carry external semantics . Which >> reduction semantics claims to turn into syntax. > > > You may wish to consider formulating a semantics with define-judgment first > (not documented in the book but in the docs). You might be able to get a > plain SOS semantics that way. > > In a sense this question isn’t about Redex but the relationship between > different frameworks of formulating a semantics. For some class of cases, > this is systematically doable (that’s how I came up with the reduction > semantics for h-o imperative generalization of the lambda calculus for > example); for others, it is an open question. I know little about Orc and not > enough to know which class it falls into. > Yes I’ve walked through the “Abstracting abstract machines” <https://dvanhorn.github.io/redex-aam-tutorial/> tutorial, where I thought moving from judgment to reduction was only easy due to the simplicity of the language under consideration.
> >> Like pairing a context with some state -- how should I convey/turn whatever >> I mean with this state into syntax, so that meaningful syntactic reduction >> can happen? >> >> Anyone could please point me at an example where the grammar has a pair >> (context state) production? > > > If I understand you correctly, the Redex book covers some of these examples > (which we call machines). It might be the best place to get started. I am > sure your local university library has a copy (or will get you one). I’ve purchased my own copy of the Redex book — and am working slowly my way through the 1st part (which I find very useful) I am neither a student, nor working in the academic. I run Orc in a large production :) Jan > > — Matthias -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/7CF7FCB4-2411-4B9A-BF58-FC28A6CA5EA9%40gmail.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: Message signed with OpenPGP
