В статье анализируются тенденции перехода от традиционного формализма к алгоритмизации судебных процедур. В первой части статьи рассматриваются основные недостатки формального подхода при принятии судебных решений, такие как отсутствие навыков правильной интерпретации закона, гибкости и неучет социально-исторического контекста развития общества. В другой части исследуются положительные прикладные аспекты формализма, обеспечивающего четкую регламентацию материальных правоотношений, устанавливающих определенные требования к фиксации и оформлению фактов, их порождающих, изменяющих или прекращающих, что является важнейшей предпосылкой автоматизации принятия решения в суде и иных доступных технологий обработки данных, которые могут улучшить правоприменение и повысить его доступность. Исследуются возможности трансформации правосудия в условиях сочетания традиционных формальных методов и современных подходов.