  We formalize Simplified Boardgames language, which describes a subclass of
arbitrary board games. The language structure is based on the regular
expressions, which makes the rules easily machine-processable while keeping the
rules concise and fairly human-readable.
