Skip to content

README.md

Latest commit

 

History

History
38 lines (27 loc) · 1.55 KB

README.md

File metadata and controls

38 lines (27 loc) · 1.55 KB
Raw

racket-redex

This repository contains a Racket implementation utilizing the Redex library to model and manipulate regular expressions. It demonstrates the application of Redex for defining and testing the semantics of regular expressions.

Features

  • Regular Expression Modeling: Defines the syntax and semantics of regular expressions.
  • Reduction Semantics: Implements reduction relations to model the evaluation of regular expressions.
  • Testing Framework: Includes properties and tests to verify the correctness of the regular expression semantics.

Files

  • typed-expr.rkt: Defines the syntax and type system for the language.
  • arith.rkt: Contains arithmetic operations and evaluation functions.
  • gen-expr.rkt: Generates random expressions for testing.
  • properties.rkt: Defines properties for testing the expressions.
  • typed-exp-prof.rkt: Profiles the performance of typed expressions.
  • regex-vm-compiler.rkt: Contains the compilation logic for transforming regular expressions into executable forms.
  • regex-vm-processor.rkt: Implements the evaluation of regular expressions.
  • assembly.rkt: Defines the assembly language for the virtual machine.
  • typed-expr.rkt: Defines the typed expressions and their semantics.

Installation

To get started, clone this repository:

git clone https://github.com/daher13/racket-redex.git

Usage

To run the project, execute the typed-expr.rkt file:

racket typed-expr.rkt

This will evaluate the regular expressions defined within the project and run the associated tests.