@hackage / antimirov

Define the language containment (=subtyping) relation on regulare expressions.

Latest0.1.0

About

Metadata

  • Last updated , by RickKaudewitz
  • License LicenseRef-GPL
  • Categories Mathematics

  • Maintained by: Rick Kaudewitz <rick.kaudewitz@yahoo.de>

  • Lottery factor: 0

Links

Installation

Readme

This is a generalization of regex-"matching". We use Antimirovs algorithm. Tests are provided, too.