flip_least_significant.cpp

#include "decl_components.hpp"
#include "turing_machine.hpp"

enum class Symbol {
	_,
	E,
	_0,
	_1
};

using enum Symbol;
using enum Action;

enum class [[=Config<Symbol>{"PrependEmpty", E, _}]] FlipLeastSignificant {
	PrependEmpty [[=RL<FlipLeastSignificant,
		{_0, E, Right, "ShiftRight_0"},
		{_1, E, Right, "ShiftRight_1"},
		{E, _, Halt, "PrependEmpty"}
	>]],
	ShiftRight_0 [[=RL<FlipLeastSignificant,
		{_0, _0, Right, "ShiftRight_0"},
		{_1, _0, Right, "ShiftRight_1"},
		{E, _0, Left, "ReverseScan"}
	>]],
	ShiftRight_1 [[=RL<FlipLeastSignificant,
		{_0, _1, Right, "ShiftRight_0"},
		{_1, _1, Right, "ShiftRight_1"},
		{E, _1, Left, "ReverseScan"}
	>]],
	ReverseScan [[=RL<FlipLeastSignificant,
		{_1, _0, Halt, "ReverseScan"},
		{E, _, Halt, "ReverseScan"},
		{_, _, Left, "ReverseScan"}
	>]],
};

int main() {
	// TODO: Change signature to allow for deduction of input
	TuringMachine<FlipLeastSignificant> tm{};
	std::println("{}", tm.execute({_1, _0, _1, _1, _0}) | std::views::transform(state_variant_to_string));
	std::println("{}", tm.execute({_0, _1, _0, _1, _0}) | std::views::transform(state_variant_to_string));
	std::println("{}", tm.execute({_0, _0, _0, _0, _0}) | std::views::transform(state_variant_to_string));
}