История развития знаков препинания от XVII века до современности, их функции и формальный подход в русском языке