Part one of this book details a theory of Term Rewriting Systems, solely based on sound reasoning. Minimal Magc refers to a minimisation of assumptions: there are almost none, and, in principle, no previous knowledge is required.
Part two discusses an implementation. That implementation can be downloaded from Github.
Part three practical applications of term rewriting systems: how programs written in C can be converted to a TRS, or vice-versa.
If you like the book, you can buy a PDF at https://leanpub.com/minimalmagicTRS. Or send me an email and I can send you the PDF.
Copyright © 2022 Pum Walters
Licensed under the Creative Commons Attribution-ShareAlike 4.0 International:
Creative Commons Corporation (“Creative Commons”) is not a law firm and does not provide legal services or legal advice. Distribution of Creative Commons public licenses does not create a lawyer-client or other relationship. Creative Commons makes its licenses and related information available on an “as-is” basis. Creative Commons gives no warranties regarding its licenses, any material licensed under their terms and conditions, or any related information. Creative Commons disclaims all liability for damages resulting from their use to the fullest extent possible