Formal Description of a Multimedia Command Analyzer

• 多媒体命令分析器的形式化描述