> > 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. > 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). — 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/9675A3EE-39D1-42C2-9A52-0623ADE29846%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
