PHPackages                             c01l/formal-theory - PHPackages - PHPackages  [Skip to content](#main-content)[PHPackages](/)[Directory](/)[Categories](/categories)[Trending](/trending)[Leaderboard](/leaderboard)[Changelog](/changelog)[Analyze](/analyze)[Collections](/collections)[Log in](/login)[Sign up](/register)

1. [Directory](/)
2. /
3. [Parsing &amp; Serialization](/categories/parsing)
4. /
5. c01l/formal-theory

ActiveLibrary[Parsing &amp; Serialization](/categories/parsing)

c01l/formal-theory
==================

FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.

2.3.0(4y ago)0190MITPHP &gt;=7.3

Since Nov 26Compare

[ Source](https://github.com/c01l/FormalTheory)[ Packagist](https://packagist.org/packages/c01l/formal-theory)[ Docs](https://github.com/witrin/FormalTheory)[ RSS](/packages/c01l-formal-theory/feed)WikiDiscussions Synced today

READMEChangelogDependencies (2)Versions (6)Used By (0)

### README not available

The README for this package hasn't been synced yet. View it on [GitHub](https://github.com/c01l/FormalTheory).

###  Health Score

28

—

LowBetter than 57% of packages

Maintenance20

Infrequent updates — may be unmaintained

Popularity14

Limited adoption so far

Community2

Small or concentrated contributor base

Maturity62

Established project with proven stability

How is this calculated?**Maintenance (25%)** — Last commit recency, latest release date, and issue-to-star ratio. Uses a 2-year decay window.

**Popularity (30%)** — Total and monthly downloads, GitHub stars, and forks. Logarithmic scaling prevents top-heavy scores.

**Community (15%)** — Contributors, dependents, forks, watchers, and maintainers. Measures real ecosystem engagement.

**Maturity (30%)** — Project age, version count, PHP version support, and release stability.

###  Release Activity

Cadence

Every ~452 days

Total

5

Last Release

1592d ago

Major Versions

1.1.0 → 2.0.02021-11-06

PHP version history (2 changes)1.1.0PHP &gt;=5.3.0

2.0.0PHP &gt;=7.3

### Community

Maintainers

![](https://www.gravatar.com/avatar/cf26b256852b55606907f4cd1d697996d0a9027baa3eb165dd0d19250f23429c?d=identicon)[c01l](/maintainers/c01l)

---

Tags

lexerstateexpressionregexregulartransformfiniteoptimizerdeterministicformaltheorydfanfafanondeterministicautomata

###  Code Quality

TestsPHPUnit

Static AnalysisPsalm

Type Coverage Yes

### Embed Badge

![Health badge](/badges/c01l-formal-theory/health.svg)

```
[![Health](https://phpackages.com/badges/c01l-formal-theory/health.svg)](https://phpackages.com/packages/c01l-formal-theory)
```

###  Alternatives

[kendall-hopkins/formal-theory

FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.

344.7k](/packages/kendall-hopkins-formal-theory)[doctrine/lexer

PHP Doctrine Lexer parser library that can be used in Top-Down, Recursive Descent Parsers.

11.2k896.2M97](/packages/doctrine-lexer)[spatie/regex

A sane interface for php's built in preg\_\* functions

1.1k16.2M46](/packages/spatie-regex)[cerbero/json-parser

Zero-dependencies pull parser to read large JSON from any source in a memory-efficient way.

804445.9k5](/packages/cerbero-json-parser)[rawr/t-regx

PHP regular expression brought up to modern standards.

456154.9k3](/packages/rawr-t-regx)[nxp/math-executor

Simple math expressions calculator

2271.7M4](/packages/nxp-math-executor)

PHPackages © 2026

[Directory](/)[Categories](/categories)[Trending](/trending)[Changelog](/changelog)[Analyze](/analyze)
