タグ

2017年3月15日のブックマーク (4件)

  • 形式言語の構文と意味

    トップ > 言語処理 > 形式言語の構文と意味 形式言語の構文と意味 1.形式言語の文法 プログラム言語のように、厳格な文法によって生成された言語を形式言語と呼ぶ。 形式言語は、一般に、字句規則・構文規則・意味規則で規定される。 字句規則は、識別子や演算記号、定数といった要素(トークン)の表記法を定め、 構文規則は、文や式の形式を示すものである。 意味規則は、構文の意味を規定するものである。 例えば、算術式に関する文法を定義し、 x = 2 + 10 * 3 から x = 32 を得ることを考えよう。 まず、字句解析によって、プログラムは要素 x, =, 2, +, 10, *, 3 に分解される。 構文解析により、演算子(プログラミング言語では、+, * はもとより、= も演算子と呼ぶ) の優先順位から次のような構文木を得る。 意味解析により、2 + 10 * 3 の演算が行われ、その結

  • BNF記法入門(1) ─XML関連仕様を読むために─

    第4回 BNF記法入門(1) ─XML関連仕様を読むために─ W3Cの勧告として発表されているXML 1.0の仕様書は、XMLの構文を厳密に定義するためにBNFと呼ばれる記法で記述されている。XML関連の仕様書を読みこなそうとすれば、BNFの理解は不可避だ。今回はそのBNFを解説しよう。 ■話題 BNF記法 ■程度 C (XMLに関するひととおりの知識を持っている人を対象とする) ■目的 基礎的な知識の解説 この連載を初めてお読みになる方は、「XML深層探求について」をご覧ください。

  • Fastly に入社しました

    Summary in English: Joined Fastly, will continue my work on H2O there as an open-source developer. 2017年1月1日付で、Fastly 社へ転職したので報告いたします。 過去5年間、DeNA では R&D 的な立場から、様々な基盤的ソフトウェア(オープンソースになったものもありますし、クローズドなものもあります)の開発に携わってきました。 最近2年間は、同社のゲーム用サーバに端を発するオープンソースの HTTP/2 サーバ「H2O」の開発に従事してきましたが、その実装品質が高く評価され、世界有数のコンテンツ配信ネットワーク(CDN)である Fastly で採用された他、大規模なウェブサービス事業者で採用にむけた動きが進むなどの成果が出つつあります。 また、H2O における実装経験をもとに、H

  • Building and Scaling the Fastly Network, Part 1: Fighting the FIB

    Building and Scaling the Fastly Network, Part 1: Fighting the FIBThis post is the first in a series detailing the evolution of network software at Fastly. We’re unique amongst our peers in that from inception, we’ve always viewed networking as an integral part of our product rather than a cost center. We rarely share what we do with the wider networking community however, in part because we borrow

    Building and Scaling the Fastly Network, Part 1: Fighting the FIB