The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic. This handbook introduces with rigor the important concepts of this kind and uses them to cover the most important mathematical models for languages and computation, such as various classical as well as modern automata and grammars. It explains their use in such crucially significant topics of computation theory as computability, decidability, and computational complexity. The authors pay special attention to the implementation of all these mathematical concepts and models and explains clearly how to encode them in computational practice. All computer programs are written in C#.

Delightful and witty, this is a simple story of mistaken identity! Peter and Paul are the best of friends, but when Peter gets lost in a terrible storm he can't find Paul anywhere. With the help of a big blue whale Puffin Peter sets off to find him. They find all kinds of birds that match Peter's description but none of them is quite like Paul.

Inventive first concept books for babies and toddlers who are just discovering the world around them -- in all its color and contrast

What color are strawberries? Bananas? Grapes? Flip the pages to find out What happens when you mix these and other wonderful colors together? Peek in the bowl on the last spread for a tasty surprise.

Collins Arabic Big Cat is a guided reading series for ages 3 to 11. The series is structured with reference to the learning progression of Arabic at nursery and primary schools researched especially for Collins. This carefully graded approach allows children to build up their reading knowledge of Arabic step by step. Level 7 books include story lines with more episodes in time sequence, and may include imaginary happenings in the context of familiar experiences. There is still repetition but more variation in pattern and more new words are introduced than in lower levels. Non-fiction titles bring in simple non-fiction tools, such as diagrams, labels and captions. Additional vowel marks that encourage the flow of pronunciation are introduced at this level. Verbal sentences of up to 8-10 words with repeating and accessible actions appear at this level. Double spacing is used between words to ensure children see where each new word in a sentence begins and ends. The frog is sitting at the bottom of the pond, doing nothing. But other animals keep coming after her and she has to hop away! Follow the frog as she hops around the pond in her search for a bit of peace in this wonderfully illustrated book by Petr Horacek. Children can recap the frog's journey from the bottom of the pond and back again on pages 14-15.

A sturdy new edition of a classic novelty board book for babies and toddlers. Combining graphic pictures with ingeniously simple novelty devices, this book reveals that strawberries are red, oranges are orange, bananas are yellow and so on. Each page has more cut off it than the one before, so that the layered images finally form a delicious-looking fruit salad surprise!

A sturdy new edition of a classic novelty board book for babies and toddlers. Combining graphic pictures with ingeniously simple novelty devices, What Is Black and White? reveals, page by page, that the night is black, the snow is white, the cat is black, the milk is white, and as the final pages are turned there's a big surprise: a zebra!

Suzy, the silly goose with a mind of her own, returns in a brand new read-aloud Christmas picture book. When Suzy Goose decides that the Christmas tree is missing a star, she sets off on a journey to fetch the shiny star in the sky. No matter how far she travels, she never reaches it. But when she finds herself back at the tree, everyone has a beautiful Christmas surprise!

Lots of fun with trains in this board book that's perfect for little hands to explore! Choo-choo! The train is ready to leave. Turn the shaped pages and join in with all the noises the train makes as it travels through the woods, over the bridge, into the tunnel ... and all the way to the seaside.

A dazzling collection of poems by Nicola Davies, featuring over fifty different kinds of animals - beautifully illustrated by Petr Horacek. Nicola Davies, the award-winning author of A First Book of Nature, presents a spellbinding treasury of poems about the animal world, illustrated in breathtaking detail by Petr Horacek. Polar bears playing on the ice, tigers hunting in the jungle, fireflies twinkling in the evening sky and nightingales singing in the heart of the woods - there are animals everywhere. From blue whales to bumblebee bats and everything in between, A First Book of Animals takes you all over the planet to visit all kinds of different creatures. This book is a glorious celebration of life in the wild in all its variety and splendour, and belongs on every child's bookshelf. Shortlisted for the Kate Greenaway Medal.

A colourful baby board book from a beloved author/illustrator with charming animals and a novelty surprise. "Heehaw," says the donkey. "Miaow," says the cat. Turn the pages and learn all the animal sounds in this fun and lively board book from multi-award-winning author/illustrator Petr Horacek. Part of the Baby Walker series of books for babies, the shaped pages build to a special animal ending. You're in safe hands with Baby Walker.

One night on the farm everything is topsy-turvy and the moon will only smile when things are put right. It's time for him to light the stars, one by one. This deeply satisfying counting story twinkles with warmth and ingenuity. Interactive and great fun, this book combines die-cut pages and peek-through holes.

A dazzling collection of poems by Nicola Davies, featuring over fifty different kinds of animals – beautifully illustrated by Petr Horacek.

Nicola Davies, the award-winning author of A First Book of Nature, presents a spellbinding treasury of poems about the animal world, illustrated in breathtaking detail by Petr Horacek. Polar bears playing on the ice, tigers hunting in the jungle, fireflies twinkling in the evening sky and nightingales singing in the heart of the woods – there are animals everywhere. From blue whales to bumblebee bats and everything in between, A First Book of Animals takes you all over the planet to visit all kinds of different creatures. This book is a glorious celebration of life in the wild in all its variety and splendour, and belongs on every child's bookshelf.

Shortlisted for the Kate Greenaway Medal.

Collins Arabic Big Cat is a guided reading series for ages 3 to 11. The series is structured with reference to the learning progression of Arabic at nursery and primary schools researched especially for Collins. This carefully graded approach allows children to build up their reading knowledge of Arabic step by step. Level 3 books introduce the concept of the 'story', and include simple phonic sounds and very high-frequency words with simple spellings. Follow baby bird as it learns how to fly for the first time. This beautifully-illustrated fiction story is written by leading children's book author-illustrator Petr Horacek. The flow chart on pages 14 and 15 allows children to discuss and recap baby bird's progress as he learns how to fly.

The frog is sitting at the bottom of the pond, doing nothing. But other animals keep coming after him and he has to hop away! Follow the frog as he hops around the pond in his search for a bit of peace in this wonderfully illustrated book by Petr Horacek. Yellow/Band 3 books offer varied sentence structure and natural language Children can recap the frog's journey from the bottom of the pond and back again on pages 14-15. Text type: A story with a familiar setting Curriculum links: Citizenship: Animals and us. This book has been quizzed for Accelerated Reader.

Jonathan and Martha are two lonely worms that live on opposite sides of a tree. One day, a big juicy pear lands on the ground between them. Before they know it, they are in a tangle, forced to share their lives together. But what will happen when these once-lonely worms are forced to separate? Using his signature mix of eye-catching illustration and simple, easy narrative, Petr Horacek weaves together a story that captures the development of a life-long friendship between two unlikely worms. They fight, they have fun, they encounter danger, but most importantly, they do it all together and discover the importance of friendship. Ages 2-5

Penguin is lonely - he can't find his friends. Follow him on his journey across Antarctica as he searches for them in this lovely story, written and illustrated by award-winning illustrated Petr Horacek. Blue/Band 4 books offer longer, repeated patterns with sequential events and integrated literary and natural language. Children can re-cap the stages of Penguin's journey on pages 14-15. Text type: A story with a predictable structure and patterned language Curriculum links: Citizenship: Taking part This book has been quizzed for Accelerated Reader.

The little bird is safe in its cage, but will it survive the outside world when it escapes? This sweet, decodable story is written and superbly illustrated by Petr Horacek. Blue/Band 4 books offer longer, repeated patterns with sequential events and integrated literary and natural language. Text type: A story with a familiar setting. Pages 14-15 provide an opportunity for children to recap the story. Curriculum links: geography, science, PSHE. This book has been quizzed for Accelerated Reader.

A sturdy new edition of a classic novelty board book for babies and toddlers. Watch mouse run about the house! Over the chair, across the table, through the shoe... Why is he in such a rush? Turn the cut-away pages and follow mouse all the way to his hole - just in time before the cat arrives!

A heart-warming picture book following an inquisitive hare as he discovers that the best place in the world is always with the people you love. "Do you think this is the best place in the world?" Hare asks his friends, Rabbit, Bear, Duck and Owl. Certain there must be somewhere better out there, Hare sets out on an adventure that takes him to mountains higher than the clouds, sun-kissed beaches and starlit deserts. But even the most beautiful place isn't perfect without friends to share it with, and perhaps the best place in the world is actually closer than Hare thinks. With gorgeous artwork in a stunning summer palette, this is a beautiful picture book from the Kate Greenaway Medal-shortlisted illustrator Petr Horacek, who has been described by The Washington Post as "the thinking tot's Eric Carle".

A colourful lift-the-flap book of opposites to share with your baby.

Who is the biggest, who is the tallest and who is the noisiest? Lift the flaps and find out in this colourful board book from acclaimed author/illustrator Petr Horacek.

A lively tale about a fun-loving cat learning to accept change, imaginatively illustrated by the award-winning Petr Horacek. Mischievous Mister Boo loves to give everyone he meets a surprise. He shocks the baby birds, the baby rabbits and the baby owls. BOO! But one day he wakes up without his usual energy and no one seems to take any notice of him. Will Mister Boo learn to accept change and find joy again? A buoyant second collaboration between the acclaimed writer Joyce Dunbar and world-renowned illustrator Petr Horacek.

A lively tale about a fun-loving cat learning to accept change, imaginatively illustrated by the award-winning Petr Horácek.

Mischievous Mister Boo loves to give everyone he meets a surprise. He shocks the baby birds, the baby rabbits and the baby owls. BOO! But one day he wakes up without his usual energy and no one seems to take any notice of him. Will Mister Boo learn to accept change and find joy again? A buoyant second collaboration between the acclaimed writer Joyce Dunbar and world-renowned illustrator Petr Horácek.