String construction

main.kt

import java.io.File
import java.io.FileInputStream
import java.util.*

// Unique index for each Vertex
var currentIndex = 0

class Vertex(private val index: Int = ++currentIndex) {
    var terminate = false
    val edges = mutableMapOf<Char, Vertex>()

    override fun equals(other: Any?): Boolean = other is Vertex && other.index == index

    override fun hashCode(): Int = index
}

fun appendVertex(root: Vertex, template: String) {
    var current: Vertex = root
    template.forEach { char ->
        val next = current.edges[char]
        if (next == null) {
            current.edges[char] = Vertex()
        }
        current = current.edges[char]!!
    }
    current.terminate = true
}

fun match(input: String, root: Vertex): Boolean {
    val finalStates = input.fold(setOf(root), { states, char ->
        val translationStates = mutableSetOf<Vertex>() // Next state set
        states.forEach {
            val nextState = it.edges[char]
            if (nextState != null) {
                // Can move to next state
                translationStates.add(nextState)
                // If current state is a terminate state (end of a template string),
                // add root state.
                // But current state is still available for next transition
                if (nextState.terminate) translationStates.add(root)
            }
            // Else skip current state
        }
        translationStates
    })
    return finalStates.any { it.terminate }
}

fun main(args: Array<String>) {
    val scanner = Scanner(FileInputStream(File(args[0])))
    val input = scanner.nextLine()
    val root = Vertex()
    root.terminate = true
    scanner.nextLine().split(' ').forEach { appendVertex(root, it) }

    println(match(input, root))
}

input

01010101010001101
01 10 010 101 100

output true