P′′
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/10/25 15:00 UTC 版)
P′′ (P double prime:ピーダブルプライム[1])は1964年にコラド・ベーム[2][3]によって作成された、チューリングマシンの一種を記述するための言語である。
- ^ 原文は "All instructions in P′′ are permutations of the set X of all possible tape configurations; that is, all possible configurations of both the contents of the tape and the position of the tape-head." となっている。テープの内容とテープヘッドの位置の両方を考慮した全てのあり得る構成が命令になるとは理解し難い。
- ^ 英語版Wikipediaではこの部分に「a minor」という形容も付いているが、それは特に訳す意味は無いと思われる。
- ^ https://github.com/Pbtflakes/pdbl
- ^ a b Böhm, C.: "On a family of Turing machines and the related programming language", ICC Bull. 3, 185-194, July 1964.
- ^ Böhm, C. and Jacopini, G.: "Flow diagrams, Turing machines and languages with only two formation rules", CACM 9(5), 1966. (Note: This is the most-cited paper on the structured program theorem.)
P′′
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/09 06:43 UTC 版)
(en:P′′)チューリングマシンと同様、無限長のテープに記号を記録するが、チューリングマシンにおける有限状態オートマトンに相当するものを、固定長でループの記述が可能な命令の列によって記述する。これを元に、命令セットを理論向けから実装向けに大幅にアレンジして設計されたプログラミング言語がBrainfuckである。
※この「P′′」の解説は、「計算理論」の解説の一部です。
「P′′」を含む「計算理論」の記事については、「計算理論」の概要を参照ください。
「P′′」に関係したコラム
-
FX(外国為替証拠金取引)のペイオフレシオ(payoff ratio)とは、FXでの取引における利益率のことです。ペイオフレシオは、リスクリワードレシオ(risk reward ratio)ともいいま...
-
FXやCFDのRMI(Relative Momentum Index)とは、テクニカル指標のモメンタムを用いて、値動き幅から相場の売られ過ぎ、あるいは、買われ過ぎを判断するためのテクニカル指標のことで...
FXのチャート分析ソフトMT4で表示できる通貨ペア以外のレートは
FX(外国為替証拠金取引)のチャート分析ソフトMT4(Meta Trader 4)では、外国為替市場で取引される通貨ペア以外のチャートも表示できます。以下はそのリストです。なお、MT4のダウンロード先...
-
CFDの取引をデモ口座で体験するには、デモ口座を提供しているCFD業者に登録する必要があります。ここでは、GCIフィナンシャルの提供するデモ口座を使ってCFDの取引を体験してみます。GCIフィナンシャ...
-
ETFの銘柄数は2012年9月の時点で約140あります。そして、いずれの銘柄にも価格の連動となる対象の商品があります。ここでは、ETFの銘柄をジャンルごとに紹介します。表の「コード」は株式コード、「市...
-
バイナリーオプションで取引される商品には、通貨ペア以外に日経225などの株価指数、東京証券取引所(東証)やニューヨーク証券取引所に上場している株式、そして、金、銀などの先物商品などがあります。以下は、...
- P′′のページへのリンク