概念導讀含epsilon的star閉包與完整長度切片typed AST遞迴語義、完整bounded枚舉與membership責任。正規表示式derivation-mko-regular-expression-01