Remorhaz\UniLex\RegExp\FSM\NfaReverser

Complexity

Total Complexity

10

Size/Duplication

Total Lines	49
Duplicated Lines	0 %

Importance

Changes	1
Bugs	0	Features	0

2 Methods

Rating	Name	Duplication	Size	Complexity
A	reverseNfa()	0	25	6
A	reverseDfa()	0	19	4

<?php

declare(strict_types=1);

namespace Remorhaz\UniLex\RegExp\FSM;

final class NfaReverser
{

    public function reverseNfa(Nfa $sourceNfa): Nfa
    {
        $targetNfa = new Nfa();
        $targetNfa->setSymbolTable($sourceNfa->getSymbolTable());
        $sourceStateMap = $sourceNfa->getStateMap();
        $targetStateMap = $targetNfa->getStateMap();
        foreach ($sourceStateMap->getStateList() as $stateId) {
            $targetStateMap->importState($sourceStateMap->getStateValue($stateId), $stateId);
        }
        $targetStateMap->addFinishState(...$sourceStateMap->getStartStateList());
        $targetStateMap->addStartState(...$sourceStateMap->getFinishStateList());

        foreach ($sourceNfa->getEpsilonTransitionMap()->getTransitionList() as $sourceStateId => $targetStates) {
            foreach ($targetStates as $targetStateId => $value) {
                $targetNfa->getEpsilonTransitionMap()->addTransition($targetStateId, $sourceStateId, $value);
            }
        }

        foreach ($sourceNfa->getSymbolTransitionMap()->getTransitionList() as $sourceStateId => $targetStates) {
            foreach ($targetStates as $targetStateId => $value) {
                $targetNfa->getSymbolTransitionMap()->addTransition($targetStateId, $sourceStateId, $value);
            }
        }

        return $targetNfa;
    }

    public function reverseDfa(Dfa $sourceDfa): Nfa
    {
        $targetNfa = new Nfa();
        $targetNfa->setSymbolTable($sourceDfa->getSymbolTable());
        $sourceStateMap = $sourceDfa->getStateMap();
        $targetStateMap = $targetNfa->getStateMap();
        foreach ($sourceStateMap->getStateList() as $stateId) {
            $targetStateMap->importState($sourceStateMap->getStateValue($stateId), $stateId);
        }
        $targetStateMap->addFinishState(...$sourceStateMap->getStartStateList());
        $targetStateMap->addStartState(...$sourceStateMap->getFinishStateList());

        foreach ($sourceDfa->getTransitionMap()->getTransitionList() as $sourceStateId => $targetStates) {
            foreach ($targetStates as $targetStateId => $value) {
                $targetNfa->getSymbolTransitionMap()->addTransition($targetStateId, $sourceStateId, $value);
            }
        }

        return $targetNfa;
    }
}