Algorithmendesign und formale Sprachen in der Informatik