검색어: kleene (영어 - 스페인어)

kleene star
clausura de kleene

kleena kleene
kleena kleenecity in british columbia canada

stephen cole kleene
stephen kleene

isbn 0-262-10077-0:* s. kleene, 1952.
isbn 0-262-10077-0:* s. kleene, 1952.

he relied heavily on earlier work by stephen kleene.
church para esto se basó en trabajo previo de stephen kleene.

* the kleene closure of a regular language is regular.
* la clausura de kleene en un lenguaje regular es regular.

there was church together with his students rosser and kleene .
hubo iglesia junto con sus alumnos kleene y rosser.

the paradoxes", kleene discusses intuitionism and formalism in depth.
the paradoxes", kleene discusses intuitionism and formalism in depth.

during world war ii, kleene was a lieutenant commander in the united states navy.
durante la segunda guerra mundial, kleene fue teniente-comandante en la armada de los estados unidos.

" 137 (1968) 420-436:* s. c. kleene and e. l. post, 1954.
" 137 (1968) 420-436:* s. c. kleene and e. l. post, 1954.

stephen kleene, who had just completed his phd at princeton, took notes of these lectures that have been subsequently published.
stephen kleene, quien acababa de finalizar su doctorado en princeton, tomó notas de esta conferencia, las cuales fueron publicadas posteriormente.

(2) the english speaking world did not read her book but read, instead, kleene 's book of 1952.
(2) el mundo de habla inglés no leer su libro, pero leer, en cambio, kleene 's libro de 1952.

in mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or kleene-mostowski hierarchy classifies certain sets based on the complexity of formulas that define them.
la jerarquía aritmética, o jerarquía de kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen.

it is widely used for regular expressions, which is the context in which it was introduced by stephen kleene to characterise certain automata, where it means "zero or more".
es muy usada en expresiones regulares y fue introducida en este contexto por stephen kleene (1909-1994) para caracterizar un cierto autómata.

"theory of formal systems: annals of mathematics studies", princeton university press (april 1, 1961) 156 pages isbn 0-691-08047-x* s. c. kleene, 1967.
"theory of formal systems: annals of mathematics studies", princeton university press (april 1, 1961) 156 pag.