Remorhaz\UniLex\RegExp\FSM\NfaCalc

Complexity

Total Complexity

9

Size/Duplication

Total Lines	59
Duplicated Lines	0 %

Importance

Changes	1
Bugs	0	Features	1

5 Methods

Rating	Name	Duplication	Size	Complexity
A	getEpsilonClosure()	0	13	2
A	getStateSymbolMoves()	0	13	3
A	__construct()	0	3	1
A	getSymbolMoves()	0	10	2
A	getStateEpsilonMoves()	0	8	1

<?php

declare(strict_types=1);

namespace Remorhaz\UniLex\RegExp\FSM;

class NfaCalc
{
    private $nfa;

    public function __construct(Nfa $nfa)
    {
        $this->nfa = $nfa;
    }

    public function getEpsilonClosure(int ...$stateList): array
    {
        $notProcessedStateList = $stateList;
        $processedStateList = [];
        while (!empty($notProcessedStateList)) {
            $nextState = array_pop($notProcessedStateList);
            $processedStateList[] = $nextState;
            $stateEpsilonMoves = $this->getStateEpsilonMoves($nextState);
            $newNotProcessedStateList = array_diff($stateEpsilonMoves, $processedStateList, $notProcessedStateList);
            $notProcessedStateList = array_merge($notProcessedStateList, $newNotProcessedStateList);
        }
        sort($processedStateList);
        return $processedStateList;
    }

    public function getSymbolMoves(int $symbolId, int ...$stateList): array
    {
        $result = [];
        foreach ($stateList as $stateId) {
            $moveList = $this->getStateSymbolMoves($symbolId, $stateId);
            $newMoveList = array_diff($moveList, $result);
            $result = array_merge($result, $newMoveList);
        }
        sort($result);
        return $result;
    }

    private function getStateSymbolMoves(int $symbolId, int $stateIn): array
    {
        $moveList = $this
            ->nfa
            ->getSymbolTransitionMap()
            ->getExitList($stateIn);
        $stateOutList = [];
        foreach ($moveList as $stateOut => $symbolList) {
            if (in_array($symbolId, $symbolList)) {
                $stateOutList[] = $stateOut;
            }
        }
        return $stateOutList;
    }

    private function getStateEpsilonMoves(int $stateIn): array
    {
        $moveList = $this
            ->nfa
            ->getEpsilonTransitionMap()
            ->getExitList($stateIn);
        $moveList[$stateIn] = true;
        return array_keys($moveList);
    }
}