2012-03-06 54 views
21

我想编写一个词法生成器来将Matlab语言的基本子集转换为C#,C++等。为了帮助我做到这一点,我想找到一个包含matlab形式语法的文档。花了一些时间研究这一点,似乎数学工作不提供一个。 有谁知道我在哪里可以找到这样的文件?我在哪里可以找到Matlab的正式语法?

+5

我强烈怀疑Mathworks没有为Matlab定义正式的语法。我会留意这个问题的答案。 – 2012-03-06 12:02:02

+3

Octave解析Matlab的语法。可能值得检查他们已经做了什么。 – 2012-03-06 14:56:16

+2

八度音源中的[lex文件](http://hg.savannah.gnu.org/hgweb/octave/file/c1f9b54350f9/src/lex.ll)很有帮助。我还发现了一个[ant解析器](http://www.antlr.org/pipermail/antlr-interest/2011-September/042551.html),它将matlab转换为C和Java。 – 2012-03-09 09:00:36

回答

5

极好的机会来编写自己的形式语法:)

如果您选择写语法你的自我,我可以推荐BNFC可采取正式的BNF语法和构建数据结构和词法分析器/解析器的几种目标语言(C/C++,C#,Java,Haskell等)。这将为您节省大量时间,并让您专注于制定语法,然后根据您的偏好语言正确实施转换器。

如果没有别的,BNFC链接包含一些帮助和指导如何制定一个BNF语法。祝你好运!

+0

感谢您的建议,我会看看。我正在考虑使用fslex和fsyacc。 – 2012-03-08 15:50:03

6

这不是完整的语法,而是yacc-keable for matlab在2000年为编译器课程提供的。由此,您可以轻松创建BNF和EBNF。

primary_expression 
     : IDENTIFIER     
     | CONSTANT  
     | STRING_LITERAL   
     | '(' expression ')' 
     | '[' ']' 
     | '[' array_list ']' 
     ; 

postfix_expression 
     : primary_expression 
     | array_expression 
     | postfix_expression TRANSPOSE 
     | postfix_expression NCTRANSPOSE 
     ; 

index_expression 
     : ':' 
     | expression 
     ; 

index_expression_list 
     : index_expression 
     | index_expression_list ',' index_expression 
     ; 

array_expression 
     : IDENTIFIER '(' index_expression_list ')' 
     ; 

unary_expression 
     : postfix_expression 
     | unary_operator postfix_expression 
     ; 

unary_operator 
     : '+' 
     | '-' 
     | '~' 
     ; 

multiplicative_expression 
     : unary_expression 
     | multiplicative_expression '*' unary_expression 
     | multiplicative_expression '/' unary_expression 
     | multiplicative_expression '\\' unary_expression 
     | multiplicative_expression '^' unary_expression 
     | multiplicative_expression ARRAYMUL unary_expression 
     | multiplicative_expression ARRAYDIV unary_expression 
     | multiplicative_expression ARRAYRDIV unary_expression 
     | multiplicative_expression ARRAYPOW unary_expression 
     ; 

additive_expression 
     : multiplicative_expression 
     | additive_expression '+' multiplicative_expression 
     | additive_expression '-' multiplicative_expression 
     ; 

relational_expression 
     : additive_expression 
     | relational_expression '<' additive_expression 
     | relational_expression '>' additive_expression 
     | relational_expression LE_OP additive_expression 
     | relational_expression GE_OP additive_expression 
     ; 

equality_expression 
     : relational_expression 
     | equality_expression EQ_OP relational_expression 
     | equality_expression NE_OP relational_expression 
     ; 

and_expression 
     : equality_expression 
     | and_expression '&' equality_expression 
     ; 

or_expression 
     : and_expression 
     | or_expression '|' and_expression 
     ; 

expression 
     : or_expression 
    | expression ':' or_expression 
    ; 

assignment_expression 
     : postfix_expression '=' expression 

eostmt 
     : ',' 
     | ';' 
     | CR 
     ; 

statement 
     : global_statement 
     | clear_statement 
     | assignment_statement 
     | expression_statement 
     | selection_statement 
     | iteration_statement 
     | jump_statement 
     ; 

statement_list 
     : statement 
     | statement_list statement 
     ; 

identifier_list 
     : IDENTIFIER 
     | identifier_list IDENTIFIER 
     ; 

global_statement 
     : GLOBAL identifier_list eostmt 
     ; 

clear_statement 
     : CLEAR identifier_list eostmt 
     ; 

expression_statement 
     : eostmt 
     | expression eostmt 
     ; 

assignment_statement 
     : assignment_expression eostmt 
     ; 

array_element 
     : expression 
     | expression_statement 
     ; 

array_list 
     : array_element 
     | array_list array_element 
     ; 

selection_statement 
     : IF expression statement_list END eostmt 
     | IF expression statement_list ELSE statement_list END eostmt 
     | IF expression statement_list elseif_clause END eostmt 
     | IF expression statement_list elseif_clause 
      ELSE statement_list END eostmt 
     ; 

elseif_clause 
     : ELSEIF expression statement_list 
    | elseif_clause ELSEIF expression statement_list 
     ; 

iteration_statement 
     : WHILE expression statement_list END eostmt 
     | FOR IDENTIFIER '=' expression statement_list END eostmt 
     | FOR '(' IDENTIFIER '=' expression ')' statement_list END eostmt 
     ; 

jump_statement 
     : BREAK eostmt 
     | RETURN eostmt 
     ; 

translation_unit 
     : statement_list 
     | FUNCTION function_declare eostmt statement_list 
     ; 

func_ident_list 
     : IDENTIFIER 
     | func_ident_list ',' IDENTIFIER 
     ; 

func_return_list 
     : IDENTIFIER 
     | '[' func_ident_list ']' 
     ; 

function_declare_lhs 
     : IDENTIFIER 
     | IDENTIFIER '(' ')' 
     | IDENTIFIER '(' func_ident_list ')' 
     ; 

function_declare 
     : function_declare_lhs 
     | func_return_list '=' function_declare_lhs 
     ; 
4

Dave Wingate提供了一些看起来像一个很好的开始的Antler资源。 正如他的自述文件中指出的,他没有包含转置运算符和其他一些棘手的解析。见mparser链接在这里:
http://web.mit.edu/~wingated/www/resources.html

一些早期版本的Matlab的(1999年)的棘手位也都在文档中由一组来自西北描述。它包含EBNF类的描述。它还概述了一些脚注中的一些令人讨厌的部分。
http://www.ece.northwestern.edu/cpdc/pjoisha/MAGICA/CPDC-TR-9909-017.pdf

我已经收集了一些其他不太相关的来源,但计算器的编辑机器人告诉我,我没有足够的声誉点后两个以上的链路。

0

您可以先调整自己用Python编写的MATLAB - > Python转换器smop。它使用PLY(Python lex - yacc)。你可能有兴趣的文件是lexer.pyparse.py

另请参阅this answer以获取从MATLAB到Python的转换器列表。

相关问题