«loops» 태그된 질문

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

필자는 명령형 프로그래밍 언어에서 언어 튜링을 완벽하게하기위한 제어 흐름 구조로 while-do 루프가 충분하다는 것을 알고 있습니다 (제어 흐름이 진행되는 한-물론 우리는 무제한 메모리와 특정 연산자가 필요합니다 ...) . 내 질문의 요지는 : do-while 루프가 while-do 루프와 동일한 계산 능력을 가지고 있습니까? 다시 말해, 명령어를 완전히 건너 뛸 수없는 경우 언어가 …

22 programming-languages  turing-completeness  loops  imperative-programming 

실제로 나는 모든 재귀가 루프로 작성 될 수 있고 그 반대의 경우도 마찬가지라는 것을 이해하고 실제 컴퓨터로 측정하면 동일한 문제에 대해 루프가 재귀보다 빠릅니다. 그러나이 차이를 만드는 이론이 있습니까? 아니면 주로 실용적입니까?

18 time-complexity  recursion  loops