Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Exposé no. 55, 12 p. 
@incollection{SB_1951-1954__2__47_0,
     author = {Tamari, Dov},
     title = {Machines logiques et probl\`emes de mots. {I} : les machines de {Turing} {(T.M.)}},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1951/52 - 1952/53 - 1953/54, expos\'es 50-100},
     series = {S\'eminaire Bourbaki},
     note = {talk:55},
     pages = {47--58},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {2},
     year = {1954},
     mrnumber = {1609211},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_1951-1954__2__47_0/}
}
TY  - CHAP
AU  - Tamari, Dov
TI  - Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
BT  - Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:55
PY  - 1954
SP  - 47
EP  - 58
IS  - 2
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/SB_1951-1954__2__47_0/
LA  - fr
ID  - SB_1951-1954__2__47_0
ER  - 
%0 Book Section
%A Tamari, Dov
%T Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
%B Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100
%A Collectif
%S Séminaire Bourbaki
%Z talk:55
%D 1954
%P 47-58
%N 2
%I Société mathématique de France
%U http://archive.numdam.org/item/SB_1951-1954__2__47_0/
%G fr
%F SB_1951-1954__2__47_0
Tamari, Dov. Machines logiques et problèmes de mots. I : les machines de Turing (T.M.), dans Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Exposé no. 55, 12 p. http://archive.numdam.org/item/SB_1951-1954__2__47_0/

[1] Post (Emil). - Recursive unsolvability of a problem of Thue, J. symb. Logic, t. 12, 1947, p. 1-11. | MR

[2] Turing (A.M.). - On computable numbers, with an application to the Entscheidungsproblem, Proc. London math. Soc., Series 2, t. 42, 1937, p. 230-265. | JFM

[3] Turing (A.M.). - On computable numbers, with an application to the Entscheidungsproblem, A correction, Proc. London math. Soc., Series 2, t. 43, 1938, p. 544-546. | JFM