Теория вычислени для программистов Примеры 2014

Теория вычислени для программистов Примеры 2014

Name	Теория вычислений для программистов [+ Примеры] (2014)	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	16.4 MB
Total Files	162
Hash	3D021990CB25E498D3F17A3CC349FFFB8A7834DF

/
Теория вычислений для программистов (2014).pdf	16.3 MB
/.../the_meaning_of_programs/spec/
denotational_spec.rb	17.0 KB
small_step_spec.rb	7.6 KB
big_step_spec.rb	6.1 KB
parser_spec.rb	4.1 KB
spec_helper.rb	3.3 KB
syntax_spec.rb	2.9 KB
/.../programming_with_nothing/
irb.txt	9.5 KB
README.md	2.9 KB
lambda_calculus.rb	0.1 KB
fizzbuzz.rb	0.1 KB
/.../universality_is_everywhere/
irb.txt	7.6 KB
cyclic_tag_systems.rb	0.3 KB
ski_calculus.rb	0.3 KB
tag_systems.rb	0.1 KB
iota.rb	0.1 KB
partial_recursive_functions.rb	0.1 KB
/.../just_add_power/
irb.txt	6.5 KB
lexical_analyzer.rb	1.8 KB
dpda.rb	0.7 KB
npda_rulebook.rb	0.7 KB
pda_rule.rb	0.6 KB
dpda_rulebook.rb	0.6 KB
npda_design.rb	0.5 KB
npda.rb	0.5 KB
dpda_design.rb	0.5 KB
stack.rb	0.3 KB
pda_configuration.rb	0.2 KB
/Примеры/
README.md	5.2 KB
Gemfile.lock	0.5 KB
just_add_power.rb	0.5 KB
COPYING	0.4 KB
universality_is_everywhere.rb	0.3 KB
the_ultimate_machine.rb	0.2 KB
the_meaning_of_programs.rb	0.2 KB
the_simplest_computers.rb	0.1 KB
programming_with_nothing.rb	0.1 KB
programming_in_toyland.rb	0.1 KB
Gemfile	0.1 KB
.rspec	0.0 KB
/.../the_meaning_of_programs/
README.md	5.0 KB
irb.txt	4.3 KB
small_step.rb	0.5 KB
denotational.rb	0.4 KB
big_step.rb	0.4 KB
syntax.rb	0.4 KB
parser.rb	0.1 KB
.rspec	0.0 KB
/.../the_ultimate_machine/
irb.txt	4.9 KB
tm_rule.rb	0.6 KB
tape.rb	0.4 KB
dtm.rb	0.4 KB
dtm_rulebook.rb	0.3 KB
tm_configuration.rb	0.1 KB
/.../the_simplest_computers/
irb.txt	4.4 KB
finite_automata.rb	0.4 KB
regular_expressions.rb	0.3 KB
/.../programming_in_toyland/
irb.txt	3.7 KB
types.rb	0.4 KB
signs.rb	0.1 KB
/.../programming_with_nothing/fizzbuzz/
solution.rb	3.3 KB
helpers.rb	0.4 KB
/Примеры/impossible_programs/
irb.txt	3.1 KB
/.../the_meaning_of_programs/parser/
simple.treetop	2.0 KB
/.../the_meaning_of_programs/small_step/
machine.rb	1.2 KB
if.rb	0.4 KB
sequence.rb	0.4 KB
less_than.rb	0.4 KB
multiply.rb	0.4 KB
add.rb	0.3 KB
assign.rb	0.3 KB
statement_machine.rb	0.3 KB
while.rb	0.3 KB
expression_machine.rb	0.2 KB
variable.rb	0.1 KB
do_nothing.rb	0.1 KB
boolean.rb	0.1 KB
number.rb	0.1 KB
/.../the_simplest_computers/finite_automata/
nfa_simulation.rb	1.0 KB
nfa_rulebook.rb	0.6 KB
nfa.rb	0.4 KB
dfa.rb	0.4 KB
nfa_design.rb	0.3 KB
fa_rule.rb	0.3 KB
dfa_design.rb	0.3 KB
dfa_rulebook.rb	0.2 KB
/.../the_simplest_computers/regular_expressions/
choose.rb	0.9 KB
concatenate.rb	0.9 KB
repeat.rb	0.9 KB
pattern.treetop	0.8 KB
literal.rb	0.5 KB
empty.rb	0.4 KB
pattern.rb	0.2 KB
/.../programming_in_toyland/signs/
sign.rb	0.8 KB
numeric.rb	0.2 KB
/.../cyclic_tag_systems/
tag_rulebook.rb	0.7 KB
cyclic_tag_rulebook.rb	0.4 KB
tag_system.rb	0.4 KB
cyclic_tag_encoder.rb	0.3 KB
tag_rule.rb	0.3 KB
cyclic_tag_rule.rb	0.2 KB
/.../universality_is_everywhere/ski_calculus/
ski_call.rb	0.7 KB
ski_combinator.rb	0.7 KB
ski_symbol.rb	0.4 KB
lc_call.rb	0.2 KB
lc_variable.rb	0.2 KB
lc_function.rb	0.2 KB
/.../programming_with_nothing/lambda_calculus/
lambda_calculus.treetop	0.6 KB
lc_call.rb	0.5 KB
lc_function.rb	0.4 KB
lc_variable.rb	0.3 KB
/.../universality_is_everywhere/iota/
ski_combinator.rb	0.6 KB
ski_call.rb	0.1 KB
ski_symbol.rb	0.1 KB
/.../the_meaning_of_programs/denotational/
if.rb	0.4 KB
while.rb	0.4 KB
assign.rb	0.3 KB
less_than.rb	0.3 KB
multiply.rb	0.3 KB
sequence.rb	0.3 KB
add.rb	0.3 KB
variable.rb	0.2 KB
boolean.rb	0.2 KB
number.rb	0.2 KB
do_nothing.rb	0.2 KB
/.../partial_recursive_functions/
partial_recursive_functions.rb	0.4 KB
/.../universality_is_everywhere/tag_systems/
tag_rulebook.rb	0.3 KB
tag_system.rb	0.3 KB
tag_rule.rb	0.2 KB
/.../programming_in_toyland/types/
if.rb	0.3 KB
less_than.rb	0.2 KB
sequence.rb	0.2 KB
while.rb	0.2 KB
add.rb	0.2 KB
assign.rb	0.2 KB
type.rb	0.2 KB
do_nothing.rb	0.2 KB
boolean.rb	0.2 KB
number.rb	0.1 KB
variable.rb	0.1 KB
/.../the_meaning_of_programs/big_step/
if.rb	0.3 KB
while.rb	0.3 KB
less_than.rb	0.2 KB
multiply.rb	0.2 KB
add.rb	0.2 KB
assign.rb	0.2 KB
sequence.rb	0.1 KB
variable.rb	0.1 KB
do_nothing.rb	0.1 KB
boolean.rb	0.1 KB
number.rb	0.1 KB
/.../the_meaning_of_programs/syntax/
if.rb	0.2 KB
do_nothing.rb	0.2 KB
while.rb	0.2 KB
assign.rb	0.2 KB
sequence.rb	0.2 KB
multiply.rb	0.1 KB
less_than.rb	0.1 KB
add.rb	0.1 KB
boolean.rb	0.1 KB
variable.rb	0.1 KB
number.rb	0.1 KB
Total files 162