Search results

Add transition using the alphabet member keys

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nfaThe issue is related to Nondeterministic Finite AutomataThe issue is related to Nondeterministic Finite Automata

Type:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this moment

Status: Open.

Feature

#587 In VeriFIT/mata;

· Adda0 opened on Nov 24, 2025

Move <code>num_of_levels</code> to <code>Levels</code> class

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Type:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this moment

Status: Open.

Feature

#580 In VeriFIT/mata;

· Adda0 opened on Nov 18, 2025

<code>make_complete</code> and <code>complement</code> for length-preserving NFTs

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:highFocus on this before the others.Focus on this before the others.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

Feature

#572 In VeriFIT/mata;

· bruderjakob17 opened on Nov 6, 2025

Determinization and Minimization for length-preserving NFTs

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:highFocus on this before the others.Focus on this before the others.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

Feature

#571 In VeriFIT/mata;

· bruderjakob17 opened on Nov 6, 2025

Unnecessary Isolated States and Epsilon Transitions in <code>replace_reluctant_regex</code>

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Type:optimizationThis issue is related to a possible optimization of an algorithm, improving the performance of Mata.This issue is related to a possible optimization of an algorithm, improving the performance of Mata.

Status: Open.

#568 In VeriFIT/mata;

· koniksedy opened on Sep 16, 2025

Can <code>DONT_CARE</code> match with <code>EPSILON</code>?

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Type:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audience

Status: Open.

#561 In VeriFIT/mata;

· koniksedy opened on Aug 21, 2025

Support OR-product use cases

For:bindingThe issue is related to bindings (python binding)The issue is related to bindings (python binding)

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nfaThe issue is related to Nondeterministic Finite AutomataThe issue is related to Nondeterministic Finite Automata

Priority:normalWork on this sooner rather than later.Work on this sooner rather than later.

Status: Open.

Feature

#556 In VeriFIT/mata;

· p4l1ly opened on Jul 22, 2025

NFT - Equivalence Checking

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:normalWork on this sooner rather than later.Work on this sooner rather than later.

Type:optimizationThis issue is related to a possible optimization of an algorithm, improving the performance of Mata.This issue is related to a possible optimization of an algorithm, improving the performance of Mata.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#547 In VeriFIT/mata;

· koniksedy opened on Jul 1, 2025

Rethink Jump Treansitions - For Noodler

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:lowWork on this only when there is nothing else to do.Work on this only when there is nothing else to do.

Type:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audience

Type:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this moment

Status: Open.

#544 In VeriFIT/mata;

· koniksedy opened on Jun 4, 2025

Epsilon handling

Status: Open.

#529 In VeriFIT/mata;

· jurajsic opened on May 12, 2025

Add a Support for Long Jump Transitions for <code>Nft::post()</code> and <code>Nft::is_in_lang()</code>

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:normalWork on this sooner rather than later.Work on this sooner rather than later.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#509 In VeriFIT/mata;

· koniksedy opened on Apr 2, 2025

Update Python Binding (add NFT)

For:bindingThe issue is related to bindings (python binding)The issue is related to bindings (python binding)

Module:nfaThe issue is related to Nondeterministic Finite AutomataThe issue is related to Nondeterministic Finite Automata

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:lowWork on this only when there is nothing else to do.Work on this only when there is nothing else to do.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#508 In VeriFIT/mata;

· koniksedy opened on Apr 2, 2025