php - PHP は完全に文脈自由言語ですか、それとも状況依存部分がありますか?

Question

PHP には Bison 文法ファイルがありますが、それは PHP が完全にコンテキストフリーの言語であることを意味しますか?

Answer 1

PHP用のパーサーを作成している場合は、既存のパーサーを確認してください。

https://github.com/nikic/PHP-Parser-これはphpで記述されており、スタンドアロンのphpパーサーです。

https://github.com/svalaskevicius/ionPulse/tree/master/ionParticles/ionPhp/phpParser-これは、c++で記述されたionPulseIDEのphp-supportプラグインの一部であり、<...>/で機能テストが行​​われます。 ionTests /phpparsertest.h[まだ作業中]

Answer 2

見たことがない場合に備えて、これについて言及しておくと、これが純粋な学習用でない限り、時間を大幅に節約できる可能性があります。

ソースファイルをトークンに解析するPHP Tokenizer Functionsを確認してください。次に、トークンをステップ オーバーしてソースを調べることができます。

この例は、ソース ファイルをトークンに読み込む PHP.net から取得したもので、コメントを取り除いて再現しています。

<?php
/*
* T_ML_COMMENT does not exist in PHP 5.
* The following three lines define it in order to
* preserve backwards compatibility.
*
* The next two lines define the PHP 5 only T_DOC_COMMENT,
* which we will mask as T_ML_COMMENT for PHP 4.
*/
if (!defined('T_ML_COMMENT')) {
   define('T_ML_COMMENT', T_COMMENT);
} else {
   define('T_DOC_COMMENT', T_ML_COMMENT);
}

$source = file_get_contents('example.php');
$tokens = token_get_all($source);

foreach ($tokens as $token) {
   if (is_string($token)) {
       // simple 1-character token
       echo $token;
   } else {
       // token array
       list($id, $text) = $token;

       switch ($id) { 
           case T_COMMENT: 
           case T_ML_COMMENT: // we've defined this
           case T_DOC_COMMENT: // and this
               // no action on comments
               break;

           default:
               // anything else -> output "as is"
               echo $text;
               break;
       }
   }
}
?>

Answer 3

数学と解釈された解析が混在していると思います。

構造とデータを見て、質問の背後にある理論的根拠を判断してください。