dfa_part1.kt

data class DFA(
        val states: Set<State>,
        val inputs: Set<Input>,
        val delta: (State, Input) -> State,
        val initialState: State,
        val isFinalState: (State) -> Boolean
)

data class State(val name: String)
data class Input(val value: String)

val a = Input("press")
val s0 = State("off")
val s1 = State("on")

data class State(val name: String)
data class Input(val value: String)

val a = Input("press")
val s0 = State("off")
val s1 = State("on")