LMI K Machine implementation.