Senior Members
  • Content count

  • Joined

  • Last visited

Community Reputation

72 Excellent

About fiveworlds

  • Rank
  • Birthday 08/11/1993

Profile Information

  • Gender
  • Location
    Somewhere on the internet
  • Favorite Area of Science

Recent Profile Visitors

19867 profile views
  1. Halting problem computability and diagonal slash

    Nope you can use state transition tables too Yes the halt statements are part of the input tape n they don't need to be there though. I left it there to show that you can use multiple state transitions on a tape. eg. A( :B(some Boolean expression) ) B( :C(some Boolean expression) :A(some Boolean expression) ) C( :halt(some Boolean expression) ) So for instance this TM has 3 possible states. It starts in tape A and accepts some input set which will only result in a move to state B if the Boolean expression is true etc. The :states symbols work the similar to basic goto statements in assembly with an if condition. For TMH we only stop executing if the string ":halt(some true Boolean expression)" is read by the TM or we run out of values to input from k. Who is everyone exactly?
  2. Halting problem computability and diagonal slash

    I don't want to be though I like my privacy It is easy to show though we can define what you were suggesting which is a description of tape n like so input tape n = " A( :nextState(boolean function) :halt(input == toBin(":halt(true and true)")) || :halt(input == toBin(":halt(true and not false)")) || :halt(input == toBin(":halt(not false and true)")) || :halt(input == toBin(":halt(true or true)")) || :halt(input == toBin(":halt(true or false)")) || :halt(input == toBin(":halt(not false or false)")) || :halt(input == toBin(":halt(not true or false)")) || :halt(input == toBin(":halt(not false or true)")) || etc || :stuck(input == toBin("end of tape") ) { Get next input from k check if it validates as a transition from state A if not get next input from k. If there is no more inputs in k then switch to state "stuck" } HALT() { output "TM Halted" } STUCK() { output "TM STUCK" } "; inputTape k : ["input = 0000000", "input = etc"]; As you can see from state A there is only certain inputs that will cause TMH to halt which are labelled with :halt. If input Tape k contains all the information in tape n then the input is too large to ever halt and will immediately become stuck. Tape n will only halt on inputs such as toBin("halt(true and true)") etc.
  3. Halting problem computability and diagonal slash

    There's the problem it is an infinite loop. You can however define TMH that computes H(n, k) where n is a Boolean Algebra and k is a binary input. Now I can encode TMH as n but not as k so the infinite loop never happens.
  4. Halting problem computability and diagonal slash

    Yes. A TM can use either a DFA or an NFA both are which are reducible to Boolean algebra all TMH has to do is show that a Boolean formula is satisfiable on a given input.
  5. I wouldn't be stressing over it anyway. Do you really need somebody in your life who would discard you over something trivial? He hasn't given you the option of making amends because he doesn't value you enough to even attempt to work out the situation. So why try? other people will respect you more if he thinks he can treat you as disposable and isn't going to apologize for his behaviour then just ignore him.
  6. Simply about passwords

    You just unsolder the memory chip from the board and place it onto a machine to copy it. Then you can solder the copied chip into the board. Strangeparts made a video about copying his iPhone data onto a new (much larger) memory chip. I don't know where you would buy the machine though. It is definitely possible.
  7. Multi-Agent Pathfinding

    Yeah the motorway going into the city can have much worse traffic in the morning than the motorway leaving the city. I would imagine so too. I am just pointing him in the direction of where he might find city pathfinding algorithms as opposed to A* which doesn't take traffic etc into account.
  8. Multi-Agent Pathfinding

    The windy postman problem concerns finding the best route along directed graphs (think one-way roads) with a cost of travelling a road (think traffic and speed limit). It could be faster to take the motorway in the city than to take side roads etc even if the motorway route is longer.
  9. Multi-Agent Pathfinding

    You should be searching for algorithms related to the windy postman problem.
  10. Cruise Ship passport.

    That only applies to Eu countries that are members of the Schengen Area.
  11. Is this really that bad?

    I don't think it is that bad. You shouldn't be falling asleep at the wheel and drinking coffee etc can keep you awake. I'd prefer drivers drinking an occasional coffee than falling asleep at the wheel.
  12. Clock Pulse Generator

    Yeah I have seen 555-timers etc used before I was just was wondering at the processes they use to ensure that a pulse only fires every minute for example.
  13. It is true though not exactly for why he says. Fat is required by the body for vitamin and mineral absorption, is needed to build muscle and should be approx. 20% of your daily calories. To lose weight you need to both keep your calories in check and gain muscle. To gain muscle you should be looking at following a weightlifting routine/cardio. Muscle will allow you to burn more calories throughout the day and keep the weight off the wrong advice of simply not eating/dieting will just cause you to lose muscle and to put all the weight back on when you start eating again and if you are getting older can lead to excess skin. You should aim to lose about a lb a week. If you don't lose a lb you are either eating to much or not working out hard enough. Stretching (Start of every day) - > Prevents injury and keeps flexibility Calf Stretch Quad Stretch Hamstring Stretch Groin Stretch It band Stretch Lower back Stretch Front Stretch Back shoulder Stretch Tricep Stretch Neck Stretch Impact (Start of every day) - > Helps bones absorb calcium prevents arthritis 100 - skipping 100 - heavy bag (punching/kicking) 100 - speed bag (punching/kicking) 10 mins - trampoline Cardio - Treadmill (End of every day) - > Helps bones absorb calcium prevents arthritis of the legs and builds leg muscles / speed 3-4 intervals of sprinting at the fastest speed you can for 3 minutes 15 mins of fast walking at the highest incline you can manage 30 mins of jogging at least 7km or higher if you are able Weights - Should be on rotation if you work your chest one day then do your legs the next and at the highest weight you can manage without losing form Monday - chest 3 sets of 10 dips/weighted dips 3 sets of 10 bench press 3 sets of 10 seated military press 3 sets of 10 chest press 3 sets of 10 pressups 3 sets of 10 pec deck Tuesday - arms 3 sets of 10 lying cable curl 3 sets of 10 bench dips 3 sets of 10 barbell curls 3 sets of 10 bicep curls 3 sets of 10 tricep curls Wednesday - legs 3 sets of 10 Squats 3 sets of 10 leg curls 3 sets of 10 lunges 3 sets of 10 leg extension 3 sets of 10 standing calf raises Thursday - shoulders 3 sets of 10 lat pulldowns 3 sets of 10 Standing barbell press 3 sets of 10 side lateral raise 3 sets of 10 upright barbell row Friday - back 3 sets of 10 deadlifts 3 sets of 10 pullups/assisted pullups 3 sets of 10 single-arm dumbbell row 3 sets of 10 close-grip pull down 3 sets of 10 decline bench dumbbell over
  14. Computing inverse of a 4*4, 5*5 matrix.

    Yeah if you have a good graphics card you should be able to run a 100000 by 100000 matrix reasonably quickly. Modern graphics cards make use of parallelization for matrix multiplication therefore matrix calculations are extremely fast on modern computers provided you are making use of the graphics card.
  15. Driverless Locomotive and Local trains.

    Train has schedule to depart at a certain time and then uses image recognition to ensure no passengers are too near the train prior to departing. That said I don't see them automated anytime soon not because it isn't possible but because people are unpredictable and it is safer to have a train driver and security than not have them.