<?php
include(dirname(__FILE__) . '/../../src/php/Matchy.php');
function NFA($input, $type = 'l')
{
return new MatchyNFA($input, $type);
}
function create_string($alphabet, $n)
{
$s = '';
for ($i=0; $i<$n; ++$i)
{
$s .= $alphabet[rand(0, count($alphabet)-1)];
}
return $s;
}
function test_case($nfa, $pattern, $string, $offset = 0)
{
$found = $nfa->match($string, $offset, false, true);
echo('nfa("'.$pattern.'", "'.$string.'", '.$offset.') = '.$found['match'].', errors '.$found['errors']."\n");
}
function test()
{
$tests = [
['pattern'=>'(a|b)*', 'nfa'=>NFA(NFA([NFA('a'), NFA('b')], '|'), '*')],
['pattern'=>'^(a|b)*$', 'nfa'=>NFA([NFA('', '^'), NFA(NFA([NFA('a'), NFA('b')], '|'), '*'), NFA('', '$')], ',')],
['pattern'=>'aa(b+)', 'nfa'=>NFA([NFA('aa'), NFA(NFA('b'), '+')], ',')],
['pattern'=>'(a+)(b+)', 'nfa'=>NFA([NFA(NFA('a'), '+'), NFA(NFA('b'), '+')], ',')],
['pattern'=>'bababa', 'nfa'=>NFA('bababa', ['errors'=>1])],
['pattern'=>'bababa', 'nfa'=>NFA('bababa', ['errors'=>1,'transpositions'=>true])]
];
for ($i=0; $i<10; ++$i)
{
$string = create_string(['a', 'b'], 10);
echo("\n");
foreach ($tests as $test)
{
test_case($test['nfa'], $test['pattern'], $string);
}
}
echo("\n");
// some special test cases
test_case(NFA('ab'), 'ab', "ab");
$test = $tests[2];
test_case($test['nfa'], $test['pattern'], "ababbbbaab");
test_case($test['nfa'], $test['pattern'], "aaababbbba");
$test = $tests[3];
test_case($test['nfa'], $test['pattern'], "aaaaaaabbbbb");
$test = $tests[4];
test_case($test['nfa'], $test['pattern'], "baabba");
$test = $tests[5];
test_case($test['nfa'], $test['pattern'], "baabba");
$test = $tests[4];
test_case($test['nfa'], $test['pattern'], "baaabbaaba");
$test = $tests[5];
test_case($test['nfa'], $test['pattern'], "baaabbaaba");
$test = $tests[4];
test_case($test['nfa'], $test['pattern'], "babab");
$test = $tests[5];
test_case($test['nfa'], $test['pattern'], "babab");
$test = $tests[4];
test_case($test['nfa'], $test['pattern'], "ababa");
$test = $tests[5];
test_case($test['nfa'], $test['pattern'], "ababa");
}
test();
|
Download
