public void test_palindrome() { const char nullValue = ' '; var table = StatefulTableXMLParser.LoadFromFile <string, char>("../../../../../test/xml/palindrome_tm.xml", nullValue, new StringStateSerializer(), new CharSymbolSerializer()); var tape = new Tape <char>(new CharSymbolSerializer(), nullValue); tape.FillFromString("|0|1|2|1|0|"); var machine = new TuringMachine <string, char>(table, tape); machine.Run(); Assert.Equal(string.Empty, machine.Tape.ToPlainString().Trim()); }
public void test_string_length_2() { const char nullValue = ' '; var table = StatefulTableXMLParser.LoadFromFile <string, char>("../../../../../test/xml/string_length_tm.xml", nullValue, new StringStateSerializer(), new CharSymbolSerializer()); var tape = new Tape <char>(new CharSymbolSerializer(), nullValue); tape.FillFromString("|a|b|a|a|b|b|a|b|a|b|b|"); var machine = new TuringMachine <string, char>(table, tape); machine.Run(); Assert.Equal("11", machine.Tape.ToPlainString().Trim()); }
public void test_add_one_from_string_2() { const char nullValue = ' '; var table = StatefulTableXMLParser.LoadFromString <string, char>(ADD_ONE_TM, nullValue, new StringStateSerializer(), new CharSymbolSerializer()); var tape = new Tape <char>(new CharSymbolSerializer(), nullValue); tape.FillFromString("|4|5|9|"); var machine = new TuringMachine <string, char>(table, tape); machine.Run(); Assert.Equal("460", machine.Tape.ToPlainString().Trim()); }