The Halting Problem

  Рет қаралды 451,291

Neso Academy

Neso Academy

Күн бұрын

Пікірлер: 46
@melikechoc0
@melikechoc0 6 жыл бұрын
I feel that the Halting Problem is also why Windows gives you an option to wait when a program is "not responding". If a program doesn't communicate with Windows, it cannot tell if it's doing a lot/heavy work or it will never actually halt.
@w1ndro1d
@w1ndro1d 5 жыл бұрын
I've wondered the same thing. But Windows sucks with all the bloatwares.
@sharma1337
@sharma1337 5 жыл бұрын
I mean considering space complexity (program will take up memory) it will halt but indirectly because it will be shutdown by the OS low level functionality because it is taking too RAM/Memory. But yeah you can make infinite loops and other functions that have no defined end and thereby it would not halt. But in the latter case looping is considered a rejection and is classified recursively enumerable language.
@Farahat1234
@Farahat1234 5 жыл бұрын
Shtup
@wildwest1832
@wildwest1832 3 жыл бұрын
true, you are right.
@maxmustermann1097
@maxmustermann1097 6 жыл бұрын
what the ... did you just repeat the statement in every way around without any real explanation?
@CHITRALEKHAGOGOI
@CHITRALEKHAGOGOI 6 жыл бұрын
exactly
@kindadumbkindastrong4429
@kindadumbkindastrong4429 6 жыл бұрын
Computerphile did a very good video on this topic
@prateeksharma9634
@prateeksharma9634 2 жыл бұрын
Boi I understood it.
@devanshsharma8543
@devanshsharma8543 7 ай бұрын
lol yes
@Phantomuxas
@Phantomuxas 4 жыл бұрын
Note that the halting problem restricted to the finite memory of our computers is actually decidable: 1) The state is 2) When we reach the same state by executing -> we have an infinite loop; 3) If we don't reach the same state, we will run out of states due to limited memory in a finite number of steps -> we don't have an infinite loop.
@saitamastudent7130
@saitamastudent7130 5 жыл бұрын
Thanks, Neso Academy, I like very much all the sequence and organization of your materials.
@imprakrut
@imprakrut 6 жыл бұрын
Amazing how you have connected it with the first video!
@rohitsaka
@rohitsaka 4 жыл бұрын
A Halting Problem is a PARADOX ! " No Algorithm Can Solve Halting Problem "
@diptanshumalviya7547
@diptanshumalviya7547 3 жыл бұрын
Sir, I Bow-down to your Work. Thank You So Much, sir!
@narendraparmar1631
@narendraparmar1631 5 жыл бұрын
Thanks Neso Academy
@zubairkhanday9436
@zubairkhanday9436 6 жыл бұрын
thanks for such a pure explination
@Devanshukoli
@Devanshukoli 2 жыл бұрын
Thank you for teaching ....
@sharma1337
@sharma1337 5 жыл бұрын
1. Accepts all java codes: Consider the compiling of Java down to bytecode and so on generates specific binary instructions. We know this language is turing decidable (a CFG generating particular string). 2. Rejects any inputs that cause infinite loops: Any input user gives to our program are we able to can it accept or reject in finite amount of computational steps? The halting problems says no it cannot be decided whether to accept or reject (halt) on input therefore runs the risk of looping. Therefore not turing decidable Can a machine exists as a turing decidable (1.) and non-turing decidable (2.) ----> Nope!
@thewresltinghighlightsshow2776
@thewresltinghighlightsshow2776 8 ай бұрын
When infinite loops are the problem why not call it Looping problem rather than a halting problem
@zapbroob
@zapbroob 6 ай бұрын
Because halt means not looping (forever). Its still correct
@GamersMaim
@GamersMaim 5 жыл бұрын
A better explanation can be found in the video made by Computerphile - Turing & The Halting Problem
@an-nv
@an-nv 2 жыл бұрын
God damnit, this is not what I need at 5am🤯 I am not even a student of computer science.. 🤒Does it mean that due to the fact that codes have limitations, and computing has it also, we cannot solve everything by computers? Or does it that there will always be a new problem that cannot be solved? Or does it mean that we cannot tell the exact correct answer unless we run the test? WHAT IS THE FCKING HALT PROBLEM???😬😩😵
@1010ansh
@1010ansh 6 жыл бұрын
But can you be specific when you say "Given a Program" ?
@ethioaazazhmitiku3385
@ethioaazazhmitiku3385 2 жыл бұрын
Thanks
@dhanushsivajaya1356
@dhanushsivajaya1356 4 жыл бұрын
Thankyou sir
@userwhatever3298
@userwhatever3298 4 жыл бұрын
The explanation that you're missing is in the next lesson.
@dileep.b5054
@dileep.b5054 2 жыл бұрын
please increase the volume while making the lecture ,your voice is somewhat in low
@billi9748
@billi9748 2 жыл бұрын
lol
@epsilon650
@epsilon650 3 жыл бұрын
sound is very low
@sruthivaliveti3011
@sruthivaliveti3011 5 жыл бұрын
sir,could you explain the construction of turing machine for the string (0,1)*011?? expecting an expeditious reply
@Gaunterr
@Gaunterr 5 жыл бұрын
@@real-investment-banker do you have more examples of turing machine ? if you do please share . thanks
@tusharpandey6584
@tusharpandey6584 3 жыл бұрын
1 sentence, 7 minutes
@BalaguruS-zp5qf
@BalaguruS-zp5qf 3 жыл бұрын
can u pls give answer for this question "Prepare a subroutine to move a TM head from its current position to the right, skipping over all 0’s until reaching a 1 or a blank. If the current position does not hold 0, then the TM should halt. You may assume that there are no tape symbol other than 0,1 and B(blank). Then , use this subroutine to design to TM that accepts all strings of 0’s and 1’s that do not have two 1’s in a row"
@mayankbaber9384
@mayankbaber9384 2 жыл бұрын
le my ass trying to find the four horsemen in the comments section
@daman666100
@daman666100 6 жыл бұрын
chandra singh kahan gaya ab dekh le bhai apna answer
@tatebrother
@tatebrother 6 жыл бұрын
Pata nahi bhai kaha gaya
@daman666100
@daman666100 6 жыл бұрын
@@tatebrother bhai paper to sab ke ho gaye ab kyon padh rahe ho?
@tatebrother
@tatebrother 6 жыл бұрын
@@daman666100 sab ke nahi hue श्याम!! VTU bangalore ATC on 7th
@gabrielpereiramendes3463
@gabrielpereiramendes3463 5 жыл бұрын
#Excelent!
@batchupranav231
@batchupranav231 Жыл бұрын
hi
@ThusharAjith
@ThusharAjith Ай бұрын
hi
@jamesmorgan4019
@jamesmorgan4019 3 жыл бұрын
stop repeating one line thousand times, just to increase video length -_-
@niklausmikaelson7332
@niklausmikaelson7332 5 жыл бұрын
मेरा दिमाग खराब हो रहा है बीसी
@abhinavs03
@abhinavs03 5 жыл бұрын
Last me padhai karte hai to bhai normal hai ye. Sabke saath hota hai 😂
Undecidability of the Halting Problem
8:00
Neso Academy
Рет қаралды 276 М.
The Post Correspondence Problem
14:29
Neso Academy
Рет қаралды 355 М.
BAYGUYSTAN | 1 СЕРИЯ | bayGUYS
36:55
bayGUYS
Рет қаралды 1,9 МЛН
Каха и дочка
00:28
К-Media
Рет қаралды 3,4 МЛН
Turing Machine for Even Palindromes
15:49
Neso Academy
Рет қаралды 463 М.
7 Outside The Box Puzzles
12:16
MindYourDecisions
Рет қаралды 508 М.
Decidability and Undecidability
7:42
Neso Academy
Рет қаралды 522 М.
The Boundary of Computation
12:59
Mutual Information
Рет қаралды 1 МЛН
Impossible Programs (The Halting Problem)
6:50
Undefined Behavior
Рет қаралды 161 М.
Understanding the Halting Problem
6:33
Spanning Tree
Рет қаралды 89 М.
Equivalence of CFG and PDA (Part 1)
22:49
Neso Academy
Рет қаралды 755 М.
Nondeterministic Turing Machine (Part 1)
15:49
Neso Academy
Рет қаралды 261 М.